模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
如果我们想预见数学的未来，正确做法是研究这门学科的历史和现状。
亨利·庞加莱名人名言哲理格言警句语录 亨利·庞加莱
无选择的求知冲动,犹如无选择的性冲动一样——都是一种下贱的本能！
尼采名人名言哲理格言警句语录 尼采
评书是百花园中的一朵弱不禁风的小花，表演形式单一，一个人一台戏，唯一能解决的办法就是成立培训班，（？郭敬明）把广大的评书爱好者集中起来，由我们请名家上课，这样还可能继承下去。
单田芳名人名言哲理格言警句语录 单田芳
其实每个人都有一颗投机的心，所以才需要信仰。我对信仰的理解就是“做对的事情、把事情做对”，或者说知道是“不对的事情”就别做了。难道还有人明知是错的事情还会做的吗？看看周围有多少人抽烟你就明白了。人们热爱做“不对的事情”，是因为这类事情往往有短期诱惑。巴菲特能有今天最重要的是“不做什么”。
段永平名人名言哲理格言警句语录 段永平
生活中的许多烦恼都源于我们盲目和别人攀比，而忘了享受自己的生活。
卡耐基名人名言哲理格言警句语录 卡耐基
世界上无论什么名誉，什么地位，什么幸福，什么尊荣，都比不上待在母亲身边，即使她一个字也不识，即使整天吃'红的'（高粱饼子）。这永久的悔像毒蛇噬咬着我的心，当我终于懂得树欲静而风不止时，坟前的青草已轮回二十个春秋。
季羡林名人名言哲理格言警句语录 季羡林
生活的最大障碍是期望，它寄托于明天，却失去了今天。
大卫·菲德勒名人名言哲理格言警句语录 大卫·菲德勒
誓言是否有效，必须视发誓的目的而定；不是任何的目的都可以使誓言发生力量。
培根名人名言哲理格言警句语录 培根
人一辈子用两年学会说话，却要用一辈子学会闭嘴。
海明威名人名言哲理格言警句语录 海明威
Customer satisfaction should always be at the heart of every decision.
客户满意度应该始终是每个决策的核心。
丰田章男名人名言哲理格言警句语录 丰田章男
恶念者，习气也；善念者，本性也。
王阳明名人名言哲理格言警句语录 王阳明
还有什么比当演员更好玩？就像跑步，得不到第一名，还会有一个好身体。演戏，演不好就演不好，总有一天你能想得出就演得到。如果一早想什么都能演出来，就不好玩了。
吴镇宇名人名言哲理格言警句语录 吴镇宇
You pray for rain, you gotta deal with the mud too. That's a part of it.
你祈求下雨，你也得处理泥泞。这是其中的一部分。
丹泽尔·华盛顿名人名言哲理格言警句语录 丹泽尔·华盛顿
​没有什么能永远存在，即使是宇宙也有灭亡的那一天，凭什么人类就觉得自己该永远存在下去。
刘慈欣名人名言哲理格言警句语录 刘慈欣
Architecture should speak of its time and place, but yearn for timelessness.
建筑应该诉说它的时代和地点，但渴望永恒。
诺曼·福斯特名人名言哲理格言警句语录 诺曼·福斯特
Pour yourself a drink, put on some lipstick, and pull yourself together.
给自己倒一杯饮料，涂上口红，振作起来。
伊丽莎白·泰勒名人名言哲理格言警句语录 伊丽莎白·泰勒
我粉丝给我投的我就坐那，我跟你说我不怕。
杨超越名人名言哲理格言警句语录 杨超越
图片。
蒙台梭利名人名言哲理格言警句语录 蒙台梭利
无聊的文字，抛在炉里，也化作无聊的火光。
冰心名人名言哲理格言警句语录 冰心