模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我要歌唱，用我的声音，用我的血，用我的生命。
田间
花尽酒阑春到也，离离。
苏轼
巷直不深，人直不富。
谚语
儿女不是因为是儿女，而是因为爱怜和抚养才成为亲人。
加西亚·马尔克斯
我是英雄，你也是英雄，蒙古草原虽大，却容不下两个英雄。
金庸
不素养士而欲求贤，譬犹不琢玉而求文采也。
司马光
只要是人人都需要用的互联网服务，就应该是免费的；只有少数人需要的，才可以收费；一旦有了一定数量的用户群，就可以推出收费的增值服务。
周鸿祎
死不足惜，关键是活着。一个正常人的死，并不比一个残疾人挣扎着活下去更难思议。不幸的人挣扎地活着是生与死的较量证明着生。生命之美不在于一副完好的身躯。也不在乎生与死。死是容易的，活着却是难的。
史铁生
不幸的人才要更坚强。
莫言
我这幅俊俏脸孔是很难洗掉的了。我自己希望到了五六十岁还是保持偶像的形象，我已经和“偶像”结了婚，但‘实力’可以是我的‘小老婆’，我有时会带她出来走走也说不定。
刘德华
忌妒其实是深层自卑，一个心怀忌妒的人永远不会成为有用的人。
阿德勒
当你能够以非凡的方式做生活中的普通事情时，你将赢得全世界的关注。
When you can do the common things of life in an uncommon way, you will command the attention of the world.
乔治·华盛顿·卡弗
只有我最明白，为何在各种动物之中，只有人才会笑？那是因为他所遭受的最为残酷，不得不以笑来排解，于是发明了笑。
尼采
知足者富，不知足者贫。
蔡志忠
革命和建设都要走自己的路。
邓小平
从来不用赌徒心态投资。
沈南鹏
尝试过，失败过。没关系，再尝试。再失败，失败也是一种进步！
Ever tried.Ever failed.No matter.Try Again.Fail again.Fail better.
彼特·丁拉基
坚持你的主义，主义重于生命，宁愿生命消失，只要声誉能够留存。
裴多菲
或者是因为你爱我时，我才喜欢你。你离开我时，我才爱上你。是你走得太快，还是我赶不上你的脚步。
几米