模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人是很奇怪的，一旦被逼入进退维谷的境地，反倒想开了，轻松了。
稻盛和夫
Life is too short to wake up with regrets.
生命太短暂，不要带着遗憾醒来。
西城男孩
人需要有一颗牺牲自己私利的心。
屠格涅夫
The most important thing in a programming language is the semantics, not the syntax.
编程语言中最重要的东西是语义，而不是语法。
艾伦·佩利
先独自去做吧，从一个人到另一个人。
特蕾莎修女
Knowledge is the key to unlocking the mysteries of the universe.
知识是解开宇宙奥秘的钥匙。
王思潮
客观世界只是精神原始的，还没有意识的诗篇。
约瑟夫·谢林
"To understand the future, one must first understand the past."
要理解未来，首先必须理解过去。
亚历山大·克鲁格
每个故事都有一个开始、中间和结尾，但不一定是这个顺序。
Every story has a beginning, a middle, and an end, but not necessarily in that order.
T·杰斐逊·帕克
我们不是要把手机变成主业，而是为了让车变得更好用，让用户体验更好。
李斌
我觉得吾人惟有主义之争，而无私人之争，主义之争，出于不得不争，所争者主义，非私人也。私人之争，世亦多有，则大概是可以相让的。
毛泽东
Understanding black holes is understanding the fabric of the universe itself.
理解黑洞就是理解宇宙的结构本身。
赖因哈德·根策尔
Read not to contradict and confute； nor to believe and take for granted； nor to find talk and discourse； but to weigh and consider.
 阅读不是为了反驳和辩驳，也不是为了盲目相信和理所当然，也不是为了找话题和谈资，而是为了权衡和思考。
培根
Your time is limited, so don t waste it living someone else s life.
你的时间有限，所以不要浪费时间去过别人的生活。
史蒂夫·乔布斯
人生は、一度きりの旅だ。だから、後悔しないように、精一杯生きよう。《キッチン》
吉本芭娜娜
教育中最重要的是给学生改变环境的能力。
陶行知
玉清的脸光整坦荡，像一张新铺好的床；加上了忧愁的重压，就像有人一屁股在床上坐下了。
张爱玲
经济学最终是为了改善人类福祉。
Economics is ultimately about improving human welfare.
保罗·米尔格罗姆
索尼娅的忠诚是一种美德，也成了她幸福的障碍。
托尔斯泰