形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
The good man is the man who, no matter how morally unworthy he has been, is moving to become better.
好人就是无论他过去在道德上多么不值得,现在正在变得更好的人。
知足是天然的财富,奢侈是人为的贫困。
Profit is important, but it should never come at the expense of our principles.
The only way to find the truth is to lose yourself.
"I have always liked the phrase 'nursing a grudge,' because many people are tender of their resentments, as of the thing nearest their hearts."
The struggle for survival is the essence of life.
交往行为的理性是通过对有效性主张的主体间承认来衡量的。