模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
但“非同凡想”并不是目的。如果一个人选择靠左走只是因为其他人都靠右，那只不过是另一种形式的循规蹈矩。这样的人依然活在对他人的反应中，并没有真正按照自己的意志生活。
奥赞·瓦罗尔
先定一个能达到的小目标，比方说，我先挣它一个亿！
王健林
成就⼀番伟业的唯⼀途径就是热爱⾃⼰的事业。如果你还没能找到让⾃⼰热爱的事业，继续寻找，不要放弃。跟随⾃⼰的⼼，总有⼀天你会找到的。
史蒂夫·乔布斯
每个人都拥有自己的天堂和地狱，我们必须选择我们想要生活的地方。
米兰·昆德拉
婚姻本身没有什么问题。倘若真是有的话，人们自会发明出某样东西来取代它的。
威廉·福克纳
谢谢大家祝我生日快乐，但我更希望你们不需要特定的节日，每一天都能平安喜乐。
王源
致良知。
解析：良知是人天生具有的道德判断力，致良知是修身治国平天下的根本。
王阳明
The best investment is in the people who can build the future.
最好的投资是那些能够创造未来的人。
刘芹
许多年过去了，人们说陈年旧事可以被埋葬，然而我终于明白这是错的。因为往事会自己爬上来。
卡勒德·胡赛尼
当我们在批评别人的时候，你经常会发现自己说的那些特质都是你自己最具备的。这是投射。
莎伦·布雷姆
我花了很多年吐出所有关于我自己的污秽，并且半信半疑，然后我才能在地球上行走，好像我有权来到这里。
詹姆斯·鲍德温
虽然书籍和对话作用很大，但是通常过分地依赖了这些方法。学校为了充分发挥它们的效率，要有更多联合活动的机会，使受教育者参与这些活动，使他们对于自己的力量和所使用的材料和工具，都得到社会的意义。
杜威
你要知道，学会处理自己的负面情绪，比得到一个虚假的短暂的满足重要得多。
苗炜
能闲世人之所忙，方能忙世人之所闲。
刘伯温
我们追求的不仅仅是短期的成功，更是长期的可持续发展。
张一鸣
居庙堂之上，处江湖之远，皆忧其民者，方可为官。
当年明月
活着就是受苦，生存就是在苦难中找到一些意义。
"To live is to suffer, to survive is to find some meaning in the suffering."
克莱门斯·J·塞茨
哪里存在着一个凌驾一切的共同目标，哪里就没有任何一般的道德和规则的容身之地。
哈耶克
很多时候，真正重要的是跟随内心的直觉和勇气，这往往决定我们成为怎样的人，而其他的，都是次要的。
史蒂夫·乔布斯