"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
渔人网集澄潭下，贾客船随返照来。
杜甫名人名言哲理格言警句语录 杜甫
人的影响短暂而微弱，书的影响则广泛而深远。
普希金名人名言哲理格言警句语录 普希金
Welcome, O life! I go to encounter for the millionth time the reality of experience and to forge in the smithy of my soul the uncreated conscience of my race.
欢迎啊，生活！我要第一百万次去迎接经验的现实，在我灵魂的熔炉中锻造出我那尚未被创造的种族良知。
詹姆斯·乔伊斯名人名言哲理格言警句语录 詹姆斯·乔伊斯
静以修身，俭以养德。
诸葛亮名人名言哲理格言警句语录 诸葛亮
一个人在恋爱时最能表现出天性中崇高的品质。这就是为什么爱情小说永远受人欢迎---不论古今中外都一样。
张爱玲名人名言哲理格言警句语录 张爱玲
国民党的问题是自己是狼却有时候不咬人而空喊狼来了，结果威信顿失，里外既不是人，两面也不像狼。
李敖名人名言哲理格言警句语录 李敖
合作是解决世界上最紧迫问题的关键。
Collaboration is the key to solving the world's most pressing problems.
凯特·摩尔名人名言哲理格言警句语录 凯特·摩尔
Remember, the reason why people go astray, not because of his ignorance, but because he knows that.
要记住，人之所以走入迷途，并不是由于他的无知，而是由于他自以为知。
卢梭名人名言哲理格言警句语录 卢梭
我们飞得越高，我们在那些不能飞的人眼中的形象就越渺小。
尼采名人名言哲理格言警句语录 尼采
宁有求全之毁，不可有过情之誉。
宁可有求全责备之非议，也不要有不符实情之誉。
洪应明名人名言哲理格言警句语录 洪应明
燕子去了，有再来的时候；杨柳枯了，有再青的时候；桃花谢了，有再开的时候。有谁能告诉我，为什么我们之间的日子，一去不复返啊。
李大为名人名言哲理格言警句语录 李大为
我觉得炒作自己的人是特别不自信的人，太着急了。可能是太想达到目的，达不到的话他就会走弯路。我不着急，特别不着急，因为我没有目的，我没有给自己设定一个目标，没有目的我炒作干什么？多无聊啊。
刘涛名人名言哲理格言警句语录 刘涛
世界上的事情，最忌讳的就是个十全十美。你看那天上的月亮，一旦圆满了，马上就要亏厌；树上的果子，一旦熟透了，马上就要坠落。凡事总要稍留欠缺，才能持恒。
莫言名人名言哲理格言警句语录 莫言
不要羡慕别人比你成熟，因为他遇到的坏人比你多。
约翰·洛克菲勒名人名言哲理格言警句语录 约翰·洛克菲勒
好人无需法律告诫即可尽责，而坏人总会找到规避法律的办法。
Good people do not need laws to tell them to act responsibly, while bad people will find a way around the laws.
柏拉图名人名言哲理格言警句语录 柏拉图
追求的终极永远是朦胧的。期盼嫁人的年轻女子期盼的是她完全不了解的东西。追逐荣誉的年轻人根本不识荣誉为何物。赋予我们的行为以意义的，我们往往对其全然不知。
米兰·昆德拉名人名言哲理格言警句语录 米兰·昆德拉
妈妈你不要着急，爸爸欠的医药费由我来还。
李娜名人名言哲理格言警句语录 李娜
最大的风险就是不去冒险。
The most dangerous risk of all is not taking one.
汤姆·海斯名人名言哲理格言警句语录 汤姆·海斯
如果有人因为你属于他们而爱你那是关乎你是他们的财产。如果有人因你本身而爱你，那么你是幸运的。
萨古鲁名人名言哲理格言警句语录 萨古鲁