Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
一物体从甲地到乙地，永远不能到达。因为欲从甲到乙，需通过全路程之二分之一；通过全路程二分之一，则需先通过全路程之四分之一；通过全路程之四分之一，则需先通过全路程之八分之一……如此往复，则此物根本为路程之无限分割所碍而不能运动。
二分说
芝诺
我不知道五年后我会在哪里，但我会拼命努力到达那里。
I don't know where I'm gonna be in five years, but I'm gonna be working my butt off to get there.
玛丽亚·凯莉
露水的寂静之味，却是无法模拟无法拼凑的。露水的凝然和滴落，是日月精华，在荷之上，芝草之间，寂静暗香悠远。其幽密其清凉其浓淡深浅，都不是眼睛可以企及，耳朵可以捕捉，嘴唇可以品尝的。
舒婷
勇敢是一个最高级的词汇，是人类最稀缺的美德。当命运之神把你推向关键时刻，希望你能够像你想像中那么勇敢。
罗翔
观人四法：讲信用、无官气、有条理、少大话。
曾国藩
只要做到用良知去发家致富，那就符合天理，谁说君子不能谈利？
王阳明
灵魂有幻觉，就像鸟有翅膀：它靠它们支撑。
The soul has illusions as the bird has wings: it is supported by them.
D.H.劳伦斯
我喜欢去遥远的地方/用卑微的身体穿越曼妙的时光/我不在这里也不在那里/在路上……
郦波
平日若无真义气，临事休说生死交。
施耐庵
饮食者，人之命脉。少饮则和气行血；痛饮则伤神耗血。
李时珍
除非你付诸行动，否则一切都不会有结果。
Nothing will work unless you do.
玛雅·安吉罗
精神生活与肉体生活一样，有呼也有吸：灵魂吸收另一颗灵魂的感情来充实自己，然后以更丰富的感情送回给人家。人与人之间要没有这点美妙的关系，心就没有了生机：它缺少空气，它会受难，枯萎。
巴尔扎克
碧云天，黄叶地，秋色连波，波上寒烟翠。山映斜阳天接水，芳草无情，更在斜阳外。黯乡魂，追旅思，夜夜除非，好梦留人睡。明月楼高休独倚，酒入愁肠，化作相思泪。
范仲淹
我们面临这样一个进退两难的境地，那就是教育已经成为智慧和自由思想最主要的障碍之一。
王尔德
如果一家公司，在不该赚钱的时候赚钱了，那是非常愚蠢的。
刘强东
人追求最高的追求是精神，企业的最高层次是经营文化。
王健林
我遇到的伟大智慧都是在书中，而非教室。我的家庭也对读书很感兴趣，他们从纪律、知识和自律中获得成功。
查理·芒格
投资的核心是简单，而不是复杂。
约翰·博格尔
如果我们费尽心机寻找别人身上的恶，那我们真正的动机显然是证明自己的公义，我们试图通过评判他人逃避自己的罪，并假定上帝的话用在自己身上是一个意思，而用在别人身上是另一个意思。
苗炜