模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
世界上唯一能影响他人的方法，就是谈论他所要的，而且还要告诉他，如何才能得到他所要的。
卡耐基
想象未来最好的方式，就是把它创造出来，然后与它一起成长。
吴晓波
吃亏在于不老实，搬起石头砸自己。
谚语
我们就是在大环境的带领和个人的忧患意识下突然成熟的。
刘墉
对任何一个感觉自己被其他人所吞噬的人来说，这真是一件非常可怕的事情。我说的是那些针对作家的批评家，他们不关注你写了什么，而是想探究你的存在并放大你生活中的琐事，没有任何幽默感，没有任何背景感。
沃莱·索因卡
我既想要充满力量，又想要让人怜惜我。
奥尔罕·帕慕克
身可辱，而志不可夺。
王勃
沟通的真实目标是发现利益和满足需求，所以，我们应该从利益和需求的角度出发，重新梳理我们表达的能力和方式，通过有效沟通实现彼此的目标。而想要具备出色的表达能力，核心的底层能力是先学会倾听和思考。
史欣悦
多情是无所事事者的特权。
奥斯卡·王尔德
混合所有制把国有企业的实力和民营企业的活力结合在一起，把国有企业的经济实力、规范管理和民营企业的市场活力、拼搏精神有机结合起来，形成了企业的市场竞争力，发展混合所有制企业的真正意义在于它比单纯的国有企业更容易引入市场机制和弘扬企业家精神。
宋志平
在中国，任何超脱飞扬的思想都会砰然坠地，现实的引力太沉重了。《三体》
刘慈欣
我也走过弯路，有一年多的时间，我和团队调研和接触了几百位自称能够治好绝症的民间“大师”，我也曾希望他们能拿出治好这个绝症的“奇方”，然而我发现自己被愚弄了，他们普遍没有科学思维和科学方法，只宣传自己治好了1个人，对死亡的99个人只字不提。对于科学研究来说，个体是没有意义的，甚至是没有相关性的，必须要有足够的样本量。
蔡磊
通过对话和合作，我们可以解决最复杂的问题。
佚名
在黑白里温柔的爱彩色，在色彩里朝圣黑白。
汪曾祺
太白纯以气象胜。“西风残照，汉家陵阙”，寥寥八字，遂关千古登临之口。后世唯范文正之、夏英公之《喜迁莺》，差足继武，然气象已不逮矣。
王国维
若侧重应用的科学，而置纯粹科学、人文科学于不顾，这是谋食而不谋道的办法。
竺可桢
一本书，这样反复多读几遍，基本就能搞懂。
雷军
他强由他强，清风拂山岗。他横由他横，明月照大*。世间诸事，敞开心扉，顺其自然。
张大千
自我满足感并非要求我们在任何一个努力的领域都很成功。我们通常并不会因为做事失败而深感耻辱，只有当我们把自豪感和价值感寄托在特定的成就上，却没有实现目标的时候才感到耻辱。我们的目标决定我们定义何者为成功、何者为失败。
阿兰·德波顿