Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
思维训练从哪里开始，按德国著名哲学家黑格尔的说法，最基本的思维是同异比较思维，“同”就是总结相同点，“异”就是探究不同点。说白了，前者是总结，后者是分析。
张德芬
只有保持几分饥饿的状态，才能有继续创新的可能。
凯文·凯利
我们今天所做的将决定未来几个世纪的气候。
What we do today will determine the climate for centuries to come.
克劳斯·哈塞尔曼
由于国家和社会之间的关系特征是递归，因此，在判断互联网的赋权效应时，互动战略就很重要了。
郑永年
许慎的《说文解字》用540个部首，为汉字搭建了第一座‘认知博物馆’。
李山
这暮色的幽光，是唯一令我惬意的东西。
安德烈·纪德
Risk management is not about eliminating risk but about understanding and managing it effectively.
风险管理不是消除风险，而是有效地理解和管理风险。
大卫·G·卢恩伯格
小时候我在列宁格勒的街头学到了一点：如果一场打斗不可避免，那你必须主动出击。
普京
做父母的，教养子女第一条原则就是要尊重以身作则这条原则。
陈鹤琴
假如你愿意，你就恋爱吧，爱我。
王小波
下棋找高手。
张瑞敏
我将死了又死，以明白生是无穷无竭的。
I shall die again and again to know that life is inexhaustible.
泰戈尔
别轻易认输，别总是对自己说没有办法。人生中许多事，只有经历过，苦过，疼过，才能真懂。
林语堂
不能承受股价下跌50％的人就不应该投资。
巴菲特
要么忙着活，要么忙着死，人只有两种选择。
Get busy living or get busy dying, there are only two choices.
弗兰克·德拉邦特
人生苦短，何必记仇。
Life is too short to hold grudges.
克里斯·布朗
苦学能够战胜一切，学问的宫殿不分贫富都可以进去。
巴金
卡尔·古斯塔夫·荣格：你的潜意识指引着你的人生，而你称其为命运。
樊登
最芬芳的花蕾中有蛀虫，最聪明人的心里，才会有蛀蚀心灵的爱情。
莎士比亚