模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
诗歌是无形在有形中的回声。
Poetry is the echo of the invisible in the visible.
阿多尼斯
个个人心有仲尼，自将闻见苦遮迷。而今指与真头面，只是良知更莫疑。
王阳明
容易伤害别人和自己的，总是对距离的边缘模糊不清的人。
韩寒
勇敢并不是没有恐惧。勇敢是虽然有恐惧，但找到克服它的方法。
Being brave isn’t the absence of fear. Being brave is having that fear but finding a way through it.
贝尔·格里尔斯
Don't be afraid to be different, because you are unique.
不要害怕与众不同，因为你是独一无二的。
王力宏
主持会议=行为设计²+全程控场。
李天田
The real giants have been those who have stood for something, who have had a clear idea of what they wanted to say and have said it with force and clarity.
真正的巨人是那些坚持某些东西的人，他们清楚地知道自己想说什么，并且用力量和清晰度表达出来。
李奥·贝纳
The hunger angel is a metaphor for the hunger that stalks you like a shadow.
饥饿天使是一个隐喻，饥饿如影随形地跟踪着你。
赫塔·米勒
认真做好一件事，这是最简单，也是最难的。
宗庆后
The geographical pivot of history is that area of the world which is most important from the standpoint of political strategy.
历史的地理枢纽是世界上从政治战略角度看最重要的区域。
哈尔福德·麦金德
良心认为合法的景慕，有着无法形容的痛苦。
巴尔扎克
只要驱除了人，我们的劳动所得就会全归我们自己，而且几乎在一夜之间，我们就会变得富裕而自由。那么我们应该为此做些什么呢？毫无疑问，奋斗！为了消除人类，全力以赴，不分昼夜地奋斗！同志们，我要告诉你们的就是这个：造反！老实说，我也不知道造反会在何时发生，或许近在一周之内，或许远在百年之后。但我确信，就象看到我蹄子底下的稻草一样确凿无疑，总有一天，正义要申张。同志们，在你们整个短暂的余生中，不要偏离这个目标！尤其是，把我说的福音传给你们的后代，这样，未来的一代一代动物就会继续这一斗争，直到取得最后胜利。
乔治·奥威尔
从小一起长大的朋友，是神圣不可侵犯的，也许正是想到这一点，我刻意领先一步之遥，因为太珍惜这个朋友，所以我不想听到任何他不想对我说出口的秘密。
马克·李维
我们不怕竞争，竞争让我们更强大。
王传福
独学而无友，则孤陋而寡闻。
孔子
不能对你们说的，才叫秘密。
东野圭吾
The future belongs to the era of new energy.
未来是属于新能源的时代。
王传福
哭往哭来，反从事乎衣食之财，佴乎祭祀，以至孝于亲。
王尔德
今天的心理学家一般认为，人至少拥有两种智力：一种是流体智力，指推理、发现关系、抽象思维，以及在解决问题的同时头脑中保留信息的能力。另一种是晶体智力，指积累的关于世界的知识，以及从过去的学习与经验中提炼出来的程序或心智模型。两种智力共同作用，让我们能够学习、推理并解决问题。
彼得·C.布朗