我们无法改变任何事物，除非先接受它。谴责不会解放，反而会压迫。

The challenge in model checking is not just to find errors, but to understand why they occur.

下一代科学家将解决我们今天甚至无法想象的问题。

Government, even in its best state, is but a necessary evil; in its worst state, an intolerable one.