成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
科学的整个历史是一个渐进的自我实现的历程，重大的事件不会任意发生，但是他们反映了一种潜在的次序，而不会简单地由灵感产生。
花总是表里不一，而我太年轻了，不知道该怎样爱护她……
他是有福的，因为他的名望并没有比他的真实更光亮。
It is dangerous to be right in matters where established men are wrong.
质量不是一种行为，而是一种习惯。
你必须明白，爱不会阻止一个人追求他的个人传奇。如果他放弃了追求，那是因为这不是真爱。
你生活的质量取决于你人际关系的质量。
跨行业合作是解决脱碳复杂挑战的关键。