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

INDUSTRY. Lose no time; be always employ’d in something useful; cut off all unnecessary actions.

The difference between a successful person and others is not a lack of strength, not a lack of knowledge, but rather a lack in will.

在商业中取得成功的唯一途径就是比竞争对手做得更好。

音乐让我明白，梦想值得坚持。

一个组织的道德质量决定了其决策的质量。