模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
陶先生又说：往往大人写几千字的文章，虽无错字，或不通之处，但是无趣味无价值。笑傲孩子写的很短，许有错字或不通之处，但颇有意思，因为他是真的。
梁漱溟
白发并不等于是智慧。
米南德
对希望和欢乐的偏爱是真正的财富，而对恐惧和痛苦的执着则是穷困。
大卫·休谟
"The past is always with us, shaping our present and our future."
过去总是与我们同在，塑造着我们的现在和未来。
亚历克西斯·赖特
江山如此多娇，引无数英雄竞折腰。
毛泽东
时间盲目，人类愚蠢。
雨果
在商业行为中，信息的收集最重要。
豆豆
我不仅要了解与被称之为人类的生灵之间的友谊和平等，而且还要了解与所有生灵之间的平等，甚至是与地上爬的动物。
甘地
我只希望在我卸任以后，全国人民能说一句，他是一个清官，不是贪官，我就很满意了。如果他们再慷慨一点，说朱镕基还是办了一点实事，我就谢天谢地了。
朱镕基
买下一张永久车票，登上一列永无终点的火车。
加西亚·马尔克斯
创新是无止境的，因为我们的潜力也是无止境的。
埃隆·马斯克
Music has the power to bring people together, to heal, and to inspire.
音乐有力量将人们聚集在一起，治愈和激励。
西城男孩
The best solutions often come from listening to those who work on the water every day.
最好的解决方案往往来自倾听那些每天在水上工作的人。
乔·布朗
以五十步笑百步。
孟子
Overtaking on curves requires knowing where the curves are.
弯道超车的前提是知道弯道在哪里。
李斌
春风疑不到天涯，二月山城未见花。
欧阳修
远处的崇山叠峦迷迷濛濛地罩上了一层柔和的乳白色。
川端康成
知识之丰富与否，思想之发展与否，良好习惯之养成与否，家庭教育实应负完全的责任。
陈鹤琴
一个文明的真正衡量标准是它如何对待最弱的成员。
The true measure of a civilization is how it treats its weakest members.
萨尔蒂科夫·谢德林