"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
爱情是一种力量，可以温暖我们内心的寒冷。
徐志摩名人名言哲理格言警句语录 徐志摩
失败之前无所谓高手，在失败的面前，谁都是凡人。
普希金名人名言哲理格言警句语录 普希金
你知道吗，在我看来，一座山就是一个佛。想想看它们有多大的耐性千万年来就这样坐着，默默为众生祷告，祈求我们可以完全摆脱苦恼与愚昧。
杰克.凯鲁亚克名人名言哲理格言警句语录 杰克.凯鲁亚克
当语言在无尽挫败的螺旋中停滞，我用受阻或完成的旅程抵达超越。
拉斯洛·克劳斯瑙霍尔凯名人名言哲理格言警句语录 拉斯洛·克劳斯瑙霍尔凯
中国经济的未来不在于简单的规模扩张，而在于全要素生产率的提升。
刘俏名人名言哲理格言警句语录 刘俏
传得最广的消息是小道消息。塞之而流，禁之而行，这也是文化运动的一种规律。
周有光名人名言哲理格言警句语录 周有光
 41.未来的历史学家将很难弄清楚有多少个有组织的愚蠢行为成功地牵着我们的鼻子绕弯子，并在道德上迫使大多数人沉默无语。
托马斯·索维尔名人名言哲理格言警句语录 托马斯·索维尔
全世界有这么大的地方，但是哪都不是家。
大张伟名人名言哲理格言警句语录 大张伟
他们在黑暗中吻着彼此，不慌不忙地互相抚摸。他们一声不吭，满怀柔情，褪去衣裳，直至精疲力竭，那种深藏的幸福比以往任何时候都更接近爱情。
加西亚·马尔克斯名人名言哲理格言警句语录 加西亚·马尔克斯
我们没有兴趣冒着很大的风险，把很多非常正派的人的钱财归零的方式让自己的净资产多一个零。
We're not interested in taking a substantial chance of taking a lot of very decent people back to 'Go' so we can have one more zero on our net worth.
查理·芒格名人名言哲理格言警句语录 查理·芒格
除了关心医改方案，我更关心谁来搞医改！
钟南山名人名言哲理格言警句语录 钟南山
当你受到一种行为影响，继而跟随，然后每次都是这样一对一出现的时候，重复多次之后，就会形成习惯。
M·斯科特·派克名人名言哲理格言警句语录 M·斯科特·派克
You got a dream, you gotta protect it. People can't do something themselves,they wanna tell you you can't do it.If you want something, go get it. Period.
如果你有梦想的话，就要去捍卫它。那些一事无成的人想告诉你你也成不了大器。如果你有理想的话，就要去努力实现。就这样。
克里斯·加德纳名人名言哲理格言警句语录 克里斯·加德纳
民之生，庸弱者戢戢皆是也，有一二贤且智者，则众人君之而受命底焉；尤智者，所君尤众焉。
曾国藩名人名言哲理格言警句语录 曾国藩
一件不公道的事情，触动了其他人的心境，就会一变二、二 变三地把人数增加起来，酵母是会发酵的。
巴尔扎克名人名言哲理格言警句语录 巴尔扎克
从辞典、书本上认识一个词，竟往往会认识成反面。
林奕含名人名言哲理格言警句语录 林奕含
水不流，会发臭;人不学，会落后。
张伯苓名人名言哲理格言警句语录 张伯苓
人间的事，只要生机不灭，终有抬头的日子。
丰子恺名人名言哲理格言警句语录 丰子恺
再说也没必要提高嗓门，既用不着说服谁，有没有引人注目的必要。
村上春树名人名言哲理格言警句语录 村上春树