成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
There are no shortcuts on the road to success, only continuous effort.
自由的视角对于理解发展至关重要，因为它将注意力引向使发展重要的目的，而不仅仅是过程中起突出作用的一些手段。
你必须做你认为自己做不到的事。
If you want something you’ve never had, you must be willing to do something you’ve never done.
快乐不是拥有得多，而是计较得少。
Nolite te bastardes carborundorum.