The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

There are no hard distinctions between what is real and what is unreal, nor between what is true and what is false. A thing is not necessarily either true or false; it can be both true and false.

一个组织的流程质量决定了其产品和服务的质量。

There are some things so serious you have to laugh at them.

"We are all so much more than we think we are."

全球粮食安全始于地方行动与合作。

疯狂就是重复同样的错误并期待不同的结果。

Chance is perhaps the pseudonym of God when He does not wish to sign His name.

要求对并非直接被给予的对象提供先天证明，是徒劳的。

Quality is not an act, it is a habit.