If you get the design right, the analysis is easy.
如果你设计得当，分析就会变得简单。
乔治·博克斯名人名言哲理格言警句语录 乔治·博克斯
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克
The poet is the guardian of silence.
诗人是沉默的守护者。
彼得·汉德克
别人认为你是哪一种人不要紧，关键是你到底是哪种人。
昆图斯·贺拉斯·弗拉库斯
杰出的人拥有的另一项特别的才能，就是将人生中的挫折转变成为未来的成功。
卡罗尔·德韦克
第一流商人不论景气不景气，都要赚钱；第一流作家不论畅销不畅销，都要写书。
李敖
人总是容易看到人家的短处，看到自己的长处。应该反过来，多看人家的长处，多看自己的短处。这样不仅能使自己进步，也能帮助别人进步。
周恩来
什么是对你最重要的——你缺的。
冯晓强
一个智者的目标不是追求幸福，而是尽其可能地避免不幸。
亚里士多德
我们会以最好的可能性来看我们自己。
埃米尼亚·伊贝拉
昔日芙蓉花，今成断草根。
李白
遵天之道，顺地之理，物无不得其所；故绥之则安，动之则苦；尊之则为将，卑之则为虏
遵循天道，顺应地理，万物皆得其所。所以，抚慰他就安宁，折腾他就痛苦。尊崇他就可以为将领，贬斥则为俘虏。
东方朔
Consciousness is not a thing, but a process.
意识不是一种事物，而是一个过程。
罗杰·费德勒
在那一刻我觉得很尴尬，主持人说雷军你怎么想?那一瞬间我非常非常的尴尬，我冷静了一下，我说马云在阿里巴巴上市的那一刻说过一句话，梦想还是要有的，万一实现了呢?
雷军
所有人都知道预防比治疗更重要，但预防只能得到很少的奖赏。所以……
塔勒布
中国创业者，技术上不差，但他们最缺的就是人文修养。对艺术、文学、历史、宗教等人文知识与素养的缺乏，使得他们在面对客户、市场、以及利益纷争时，没有足够的精神与心灵支撑。技术与商业模式是大楼，而人文教养是地基。地基虽看不见，但却决定大楼的高度与坚实度。
徐小平
"Only through suffering does one understand the depth of life."
只有通过苦难才能理解生命的深度。
伊利亚·格拉祖诺夫
说出真相的唯一方法是不带说服意图地说话。
The only way to tell the truth is to speak without persuasion.
J·M·库切
不要着急，最好的总会在最不经意的时候出现。
托马斯·曼
最好的水果来自对自然时机的尊重。
The best fruits come from respecting nature's timing.
何塞·安东尼奥·加西亚