形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
I had ambition not only to go farther than any man had been before, but as far as it was possible for a man to go.
预测未来的最好方法就是创造未来。
In bad times， which are coming soon， it is better to die than to live.
在必要时，一个国家杀死暴君的权利永远不应受到质疑。