模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
碳元素平行排列，可以构成石墨，非常松软；而若三角形排列，则可以构成金刚石，异常坚硬。为了建成这样一种人才和资源的配置结构，我们需要更多的富于自我牺牲精神的干部，他们的实践是我们的榜样，他们言行所产生的榜样的力量是无穷的。他们的精神像火凤凰一样永放光芒。
任正非名人名言哲理格言警句语录 任正非
知音，能有一两个已经很好了，实在不必太多。朋友之乐，贵在那份踏实的信赖。
三毛名人名言哲理格言警句语录 三毛
To get what you want, you have to deserve what you want.That world is not yet a crazy enough place to reward a whole bunch of people.
要想得到你想要的东西，你必须配得上你想要的东西。这个世界还没有疯狂到可以奖励一大堆人的地步。
查理·芒格名人名言哲理格言警句语录 查理·芒格
星星——天空衬衣上的纽扣。
阿多尼斯名人名言哲理格言警句语录 阿多尼斯
在清除敌人首脑之前，必须先扫除一切外围和帮手，这就是中华民族的传统智慧，所谓掺沙子、挖墙脚是也。
当年明月名人名言哲理格言警句语录 当年明月
92、 我可以说眩晕是沉醉于自身的软弱之中。意识到自己的软弱，却并不去抗争，反而自暴自弃。人一旦迷醉于自身的软弱，便会以为软弱下去，会在众人的目光下倒在街头，倒在地上，倒在比地面更低的地方。
米兰·昆德拉名人名言哲理格言警句语录 米兰·昆德拉
文学是语言的艺术，语言是文学的艺术。
La literatura es el arte de la palabra, y la palabra es el arte de la literatura.
弗朗西斯科·乌姆布拉尔名人名言哲理格言警句语录 弗朗西斯科·乌姆布拉尔
永远记住，你自己决心成功比其他什么都重要。
林肯名人名言哲理格言警句语录 林肯
我们希望股价下跌，但是我不知道市场会怎么走，过去从来不知道将来也不会知道，我根本也不往这上面想，股市大跌的时候，我更仔细地查看有什么值得买的，我知道大跌的时候更容易买到好货，更容易把钱用好。
巴菲特名人名言哲理格言警句语录 巴菲特
爱一个人的头脑与心灵，是再深情没有的事。
加布瑞埃拉·泽文名人名言哲理格言警句语录 加布瑞埃拉·泽文
羞耻的本质并不是我们个人的错误，而是被他人看见的耻辱。
米兰·昆德拉名人名言哲理格言警句语录 米兰·昆德拉
道义有精深与粗浅，志向有高尚与庸俗。
王充名人名言哲理格言警句语录 王充
绵绵不断的雪花织成了闪闪发亮的帷幕，徐徐向大地降落，它使万物模糊不清，给所有的东西都蒙上了一层像泡沫一样的雪花。
莫泊桑名人名言哲理格言警句语录 莫泊桑
不要把世事看得太重，我们生活在这世界上，都是戏子，台上的演，台下的看，所以，演的时候认真，看的时候就不要太认真。
李开复名人名言哲理格言警句语录 李开复
成为自己比什么都要紧，不要梦想去影响别人。
弗吉尼亚·伍尔芙名人名言哲理格言警句语录 弗吉尼亚·伍尔芙
I’m not afraid of dying, I’m afraid of not trying.
我不害怕死亡，我害怕不去尝试。
德雷克名人名言哲理格言警句语录 德雷克
归舟归骑俨成行，江南江北互相望。
王勃名人名言哲理格言警句语录 王勃
I’m a survivor, I’m not gonna give up.
我是个幸存者，我不会放弃。
布兰妮·斯皮尔斯名人名言哲理格言警句语录 布兰妮·斯皮尔斯
嫉妒与怀恨乃是世上最强烈的情感，尤其是在女子心中，更远比爱心强烈得多。女子与女子间的嫉妒与怀恨，是永远不会消失的。女子若是恨上另一个女子，必定恨上一生。
古龙名人名言哲理格言警句语录 古龙