Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
电锯不会毁掉森林，短视思维才会。
Chainsaws don't destroy forests—short-term thinking does.
艾米丽·泰勒
人类的存在是复杂而矛盾的，无法用简单的逻辑来解释。
克洛德·西蒙
撒谎对自己有利的时候，为什么要说实话？
维特根斯坦
青田，我并不是因为我们的分离而摆脱不了伤心，我之所以伤心，是因为，是因为形影不离那么多年的我们，在分开的时候，竟然没有认真地说过“再见”。他们说，认真说过再见的人，哪怕分别了再久的时光，终有一天，还会再见。那么我们，也就是永远也无法相见了吗？
郭敬明
风竹引天乐，林亭集古香。
王羲之
建筑师必须是人民的仆人。
The architect must be a servant of the people.
保罗·门德斯·达·洛查
我觉得人生中最重要的事情是保持真实。
杰罗姆·大卫·塞林格
由于痛苦在时间中展开，因此暂时性不仅是创造的条件，也是死亡的条件，也是死去这一戏剧性现象的条件。时间的恶魔特性——在时间当中，生命和死亡，创造和毁灭，都在向一个超验的层面发展演化，而不曾交汇——就这样显现出来。
齐奥朗
过去的重量比未来更重。
The weight of the past is heavier than the future.
凯文·巴里
我相信讲故事的力量。
I believe in the power of storytelling.
史蒂文·索德伯格
创作的瞬间是最重要的事情。
The moment of creation is the most important thing.
达米恩·赫斯特
The deepest problems in mathematics often arise from the simplest questions.
数学中最深刻的问题往往源于最简单的问题。
罗伯特·朗兰兹
老习惯可不是一下就能从窗口上扔出去的，而是一个一个哄着它们从楼梯上走下来。
马克吐温
No matter what the world thinks about religious experience, the one who has it possesses a great treasure, a thing that has become for him a source of life, meaning, and beauty, and that has given a new splendor to the world and to mankind...... Where is the criterion by which you could say that such a life is not legitimate, that such an experience is not valid?
无论这个世界如何看待宗教体验，拥有宗教体验的人持有一笔巨大的财富：它已成为他的生活、意义、以及美的来源，并给予世界和人类一份新的壮丽。...你是根据什么标准，来判定这种人生不合理、这种体验没有根据？
荣格
我们的祖国并不是人间乐园，但是每一个中国人都有责任把她建设成人间乐园。
巴金
真正的力量来自于内心的平静和对自己的接纳。
伊莎贝尔·阿连德
The integration of traditional Chinese medicine and Western medicine is the future direction of medical development.
中西医结合是医学发展的未来方向
张伯礼
运气是一个大的均衡器，因为几乎所有人都能从中受益。
塔勒布
在这样的年龄，生活还没有撞疼我们，责任感和悔恨也还都不敢损伤我们，那时我们还敢于看，敢于听，敢于笑，敢于惊讶，也敢于做梦。
托马斯·曼