"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
没有污浊泥泞的河水，就无法衬托出太阳闪耀的光辉。
贝蒂·史密斯
在商业中，如果你不前进，你就在落后。
In business, if you're not moving forward, you're falling behind.
尼尔·金伯利
继承纠纷的背后，往往是亲情与利益的博弈，法律只是解决问题的工具，而非情感的裁判者。
杨晓林
互联网是四乘一百米接力赛，你再厉害，只能跑一棒，应该把机会给年轻人。
马云
不断的苦难才是不断地需要信心的原因，这是信心的原则，不可稍有更动。
史铁生
The best way to predict the future is to create it.
预测未来的最好方法就是创造未来。
查尔斯·科赫
答案很长，我得用一生去回答你，准备好听我了吗？
林徽因
我从未过多思考过我会如何死去，但为我所爱的人而死似乎是个不错的死法。
"I'd never given much thought to how I would die, but dying in the place of someone I love seems like a good way to go."
斯蒂芬妮·梅尔
一个理智的人应该改变自己去适应环境，只有那些不理智的人，才会想去改变环境适应自己。但历史是后一种人创造的。
萧伯纳
许多成功者未必比我们能干，他们只是比我们敢干而已。
奥格·曼狄诺
人是没有什么时间去了解什么事情的，他们在商店里买那些现成的东西，但是没有商店可以买到友谊。所以人已经没有朋友了。如果你想要朋友，就请你，驯服我吧！
安托万·德·圣-埃克苏佩里
"A man's memory might have only a hundred clear days in it and he has lived thousands."
一个人的记忆里可能只有一百个清晰的日子，而他已经活过了数千天。
塞巴斯蒂安·巴里
表现于人的声调、眼神和神态中的雄辩，并不亚于精心选择的言辞。
拉罗什富科
我就算从这里出去了，也没有等待我的人，没有接受我的家，没有像样的工作，又几乎没有朋友。再说我来这里已经七年，世上的事，早就一无所知了。
村上春树
人和人都是互为镜子，你待我如何，我便待你如何。所以，如果有天，我们疏远了，请不要说我变了，也是因为你淡了。
杨绛
在曲终人散以后，会想念你的细心温柔。原谅我不能承诺什么，我会爱你，你会爱我，只是因为寂寞！
李宗盛
发现可能性的极限的唯一方法就是超越它们进入不可能。
The only way to discover the limits of the possible is to go beyond them into the impossible.
乔·霍尔德曼
今天的太阳晒不到明天的衣裳，时间决定一切。
金宇澄
周期上行的时候，我们要考虑到下行的时候；周期下行的时候，我们要考虑到上行的时候，一定要辩证地来看待。做企业前进打冲锋、攻城略地，那当然好，但是也得学会转移，学会保留实力，这也非常重要，要有进有退，不能只进不退。
宋志平