成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
Experiments on plant hybridization require the most careful attention and great patience.
I try to listen to what the site is saying. I don't impose my will on it.
我更喜欢买入那些不被分析师广泛关注的股票。
没有丑陋的爱，也没有英俊的监狱。
最重要的是预防疾病，而不仅仅是治疗它。
The simplest words often carry the heaviest weight.
To understand a program you must become both the machine and the program.