Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
男人爱女人是为了征服，女人爱男人是为了掠夺。
巴尔扎克
"I'm not a theorist. I'm not an intellectual. I write plays."
我不是理论家。我不是知识分子。我写剧本。
哈罗德·品特
A building must be both shelter and symbol.
建筑必须是庇护所和象征。
保罗·门德斯·达·洛查
农夫不习，物对比之，信故疑新，不知奸贞。
桓宽
生命中有很多重要的人，虽然不是天天在你身边，但却让你时时挂念。
韩红
我恨纯洁，我恨善良，我都不希望哪里有什么美德，我希望大家都腐化透顶。
乔治·奥威尔
企业家精神的核心是创新，创新的本质是打破常规。
吴晓波
在他的世界里，他像沙皇一样随心所欲。
肯·福莱特
互联网企业之间的竞争，本质上是对用户时间和注意力的争夺，谁能让用户在自己的产品上花费更多的时间，谁就更有可能成功。
周鸿祎
所有不幸中，最悲哀的不是年华老去，不是娇容不再，也不是失去丈夫或者生活贫穷，而是生活中不再有任何人羡慕你。
奥尔罕·帕慕克
Physical is not the only criterion of truth: there are also psychic truths which can neither be explained nor proved nor contested in any physical way.
“物质”不是唯一的事实标准：还存在心理事实，而且无法以任何的物质方式来解释、证明、或辩驳它。
荣格
为文之道，在积理养气。
写作的方法，在于积累道理和涵养气质。
方东树
我生来就是高山而非溪流，我欲于群峰之巅俯视平庸的沟壑。
张桂梅
冲突越激烈，胜利越光荣。
The harder the conflict, the more glorious the triumph.
托马斯·潘恩
你有雨伞怎么还淋湿了，因为这不是我的雨伞。我也不是唯一一个有雨伞还淋湿的人啊！
郭在容
友谊永远是一个甜柔的责任，从来不是一种机会。
纪伯伦
人是时间的纲领。
爱默生
内部消息有了足够的内部消息，再加上100万美元，你可能会在一年内破产。
本杰明·格雷厄姆
世间最痛苦的事莫过于等待，我不知道她等了我多久，我一直以为我不会再有机会见到她，突然间，我不知道该怎么开口，不知道怎么讲第一句话，告诉她，我真的很爱她。
梁朝伟