"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人们总是终身困顿在自己茧里，这是他们自己的选择，当生命快要终结的时候，人们也许会恍然发觉，：世界原本就是一张巨大的茧，而我们从未真正的生活过。
毕淑敏
人不认可才叫喊，叫喊的也都还没有领会。
高行健
如果你没有失败，说明你不够努力。
If you're not failing, you're not trying hard enough.
玛莎·莱恩·福克斯
诗人的使命是照亮黑暗。
The poet's mission is to illuminate the darkness.
密茨凯维奇
女人涂脂抹粉的脸，经不起酒饭蒸出来的汗汽，和咬嚼运动的震掀，不免像黄梅时节的墙壁。
钱钟书
一切的和谐与平衡，健康与健美，成功与幸福，都是由乐观与希望的向上心理产生与造成的。
乔治·华盛顿
只有当你看到事物的本来面目时，你才能明智地处理它。
萨古鲁
惧法朝朝乐，欺心日日忧。
周希陶
一个人抛弃了自我，便贬低了自我的存在；抛弃了生命，便完全消灭了自我的存在。
卢梭
自由不过是一个变得更好的机会。
Freedom is nothing but a chance to be better.
加缪
要每天过得充实，不管别人是否认同，也不管他们是否在意，这世上有那么多人，余生还长，总有人懂得欣赏。就算日落，也有一万种色彩。
卢思浩
分工和专业化的深化取决于市场规模的扩大。
亚当·斯密
生命是以时间为单位的，浪费别人的时间等于谋财害命；浪费自己的时间，等于慢性自杀。
鲁迅
失败并不可怕，重要的是能否从中吸取教训并继续前进。
詹姆斯·费尼莫尔·库柏
不要忘记，快乐并非取决于你是什么人，或你拥有什么，它完全来自于你的思想。你的未来大半由你今天的思想所决定。所以，让你的心中注满希望、信心、真爱与成功的想法。
卡耐基
过去像一段没有留下任何遗迹的历史浮现了出来，仿佛山城突然出现在海边，老树突然萌发了新芽，鸟儿闪电般掠过空中，河流满载着灰烬汇入大海，星星都已化成尘土，森林则发出飓风的呼喊。白天和黑夜已不复存在。失去了雷特西亚的世界，天亮得都比平时晚。
卡洛斯·富恩特斯
痛苦来自欲望；要从痛苦中解脱，就要放下欲望；而要放下欲望，就必须训练心智，体验事物的本质。
瓦尔·赫拉利
这世上每个人的说话方式都如此拐弯抹角、闪烁其词，如此不负责任、如此微妙复杂。他们总是徒劳无功地严加防范，无时无刻不费尽心机，这让我困惑不解，最终只得随波逐流，用搞笑的办法蒙混过关，抑或默默颔首，任凭对方行事，即采取败北者的消极态度。
太宰治
引钩钳之辞，飞而钳之。钩钳之语，其说辞也，乍同乍异。
鬼谷子