形式化方法的美在于它们能够提供关于系统行为的绝对保证。

采石场经理需要工程师的精确和诗人的远见。

The only person you should try to be better than is the person you were yesterday.

There is no such thing as a quality problem. There are only problems, and the solutions to those problems may involve quality considerations.

The greatest proof of our intellect is our ability to perceive our own limitations.

"In the end, we will remember not the words of our enemies, but the silence of our friends."