"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
看见世界模特排名上升当然比较高兴，这和幼儿园时戴上红花的心情没区别，毕竟是对我工作的一种认可。没有过多压力，没必要太当回事，我还是我自己。
刘雯
人的一生就应该像一条河，开始是涓涓细流，被狭窄的河岸所束缚，然后，它激烈地奔过巨石，冲越瀑布。渐渐地，河流变宽了，两边的堤岸也远去，河水流动得更加平静。最后，它自然地融入了大海，并毫无痛苦地消失了自我。
罗素
祇有今天会服从的人，明天才可以指挥。
阿道夫·希特勒
来一次世间，容易吗？有一次相遇，容易吗？叫一声朋友，容易吗？仍然是那句话--学会珍惜，小心翼翼。
余秋雨
如果你无法简单地解释，就说明你没有理解透彻。
爱因斯坦
所有人都转过脸，热切地跑了出来，因为他担心第二天会认出他们。
弗兰兹·卡夫卡
The best trades are the ones where you have the most conviction.
最好的交易是你最有信心的交易。
史蒂夫·科恩
读书的卡车司机不会读为卡车司机写的书，并认为“读者蔑视那些向他们献媚的作者”。
塔勒布
会走路，根扎在哪里便住在哪里，永远没有颠沛流离之苦。
梁实秋
通常我的建议是花更少的时间在财务会议PPT上，用更多的时间来做出令人惊叹的产品。
埃隆·马斯克
85：因为你的选择会暴露出你内心的想法。
威尔•施瓦尔贝
决定我们自身的不是过去的经历，而是我们自己赋予经历的意义。
阿德勒
技术是核心竞争力，但人才才是推动技术发展的根本。
赵海军
所有的胜利，与征服自己的胜利比起来，都是微不足道。所有的失败，与失去自己的失败比起来，更是微不足道。
佚名
我没有被谁知道，也没有被谁忘记。活在别人的回忆里，那不是我的目的。
顾城
行为应该根据普遍法则来判断，如果所有人都采取相同的行动，社会是否仍然能够存在？
康德
生活中最重要的是家庭。有些日子你爱他们，有些日子你不爱，但最终，他们是你会一直回家见到的人。
The most important thing in life is family. There are days you love them, and others you don't, but in the end, they're the people you always come home to.
兰斯·阿姆斯特朗
如果你需要稳定的投资，就是买完股票后，吃颗安眠药、睡个十年，醒来后就能得到一个高度确定性的结果。
安德烈·科斯托兰尼
最好的表演来自脆弱的地方。
The best performances come from a place of vulnerability.
西德尼·波拉克