"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
I'm not a feeling, I'm a thought.
在颠覆时期，最大的风险是不承担任何风险。
我对中间状态、事物之间的相互关系感兴趣。
当思想掌握了群众，它就成为一种物质力量。
The state is not a work of art; it is a necessity.
No one is an artist unless he carries his picture in his head before painting it.
我必须学会满足于比我应得的更幸福。
"What good is the warmth of summer, without the cold of winter to give it sweetness."
成功不是终点，失败也不是致命的。