我不怕失败,最怕的是没勇气去试。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
I'm not a god, I'm a human being with flaws.