Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
在我看来，再也没有比安逸更可怕的事情了。在文明社会中，游手好闲者没有位置，我们任何人都没有权利无所事事地打发时日。
亨利·福特
我们不应只是羡慕别人的学校怎么好，而应该努力找到使自己学校变得更好的路径。
原绿色
从人的本性来看，并无任何“奇怪”可言，就人的欲望来说，一切都是正当。所谓奇怪或不正当，只是在这个现实世界的各种规矩的衬照下才有的一种恐惧。
史铁生
仲裁人要以衡平法为依据，法官要以法律为准绳。
亚里士多德
太宗自服了安神定魄之剂，连进了数次粥汤，被众臣扶入寝室，一夜稳睡，保养精神，直至天明方起，抖擞威仪，你看他怎生打扮；戴一顶冲天冠，穿一领赭黄袍。系一条蓝田碧玉带，踏一对创业无忧履。貌堂堂，赛过当朝；威烈烈，重兴今日。好一个清平有道的大唐王，起死回生的李陛下！唐王上金銮宝殿，聚集两班文武，山呼已毕，依品分班。
吴承恩
勇敢的人并不是感觉不到畏惧的人，而是征服了畏惧的人。
曼德拉
我活着，是为了别人活得更好。
鲁藜
I’m not perfect, but I’m always me.
我不完美，但我始终是我自己。
克里斯·布朗
生命中很多伟大的想法，都来自于沉思的一瞬间。
柏拉图
如果你想要画的是情绪，带上它所有的力量…那么你就不能坐视和凝望对象，确切地描绘你所见到的每一个细节。你要去画它所必须展示的，那刚好是在你对主题的情绪反射之中产生的那一个。
爱德华·蒙克
音乐是灵魂的语言。
Music is the language of the spirit.
克里斯·马汀
治国信谗必杀忠臣，治家信谗必疏其亲。
周希陶
如果你正当年少，趁着时光正在煌煌而亲热的围绕着你，你就要牢牢抓住它，你就有可能把这时光变成希望的一切。如果这样做了，你长大不仅会做出一番成就，而且会成为一个真正懂得生命价值的人。
冯骥才
如果一位音乐家知道观众几乎全都是聋子，为了掩饰自己的缺陷，只要看到一两个人鼓掌，他们就会开始用力鼓掌，他会不会因为观众的热烈掌声而感到受宠若惊？
叔本华
不要让这个世界的复杂性阻碍你前进，要成为一个行动主义者。
比尔·盖茨
古之成大事者，规模远大与综理密微，二者缺一不可。
曾国藩
那狭隘的思想和人与人之间不正常关系，禁锢了人们的聪明才智，强占了他们的脑细胞，使太阳的光辉、大自然的胜状照不进，映不进，使许多人带着昏暗的头脑，一天又一天，一年又一年，一辈又一辈地为了鸡毛蒜皮的权、利而咬得头破血流。呜呼哀哉！
魏书生
用新行动覆盖旧创伤，比反复舔舐伤口更能治愈人生。
罗莎贝斯·莫斯·坎特
我渴望自己具有超越那极限的视力，以便使我的目光抵达繁华的世界，抵达那些我曾有所闻，却从未目睹过的生气勃勃的城镇和地区。
夏洛蒂·勃朗特