"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
让我做只路过蜻蜓。留下能被怀念过程。
林夕
打破一个旧世界，建设一个新世界。
毛泽东
在全国的每行业和地区，仔细观察的业余投资者都可以在职业投资者之前发现有增长前景的公司。
彼得·林奇
63：一个错误决定足以毁掉一切。
威尔•施瓦尔贝
我既身在其中又身在其外，对人生的千变万化既感到陶醉，同时又感到厌恶。
菲茨杰拉德
要做一件事情，我都是特别的真诚，先得说服自己，让自己相信。这样哪怕是特别难的一件事情，别人也能感受到你的相信，可能真是这么回事，对他来说可能真是一个赚钱的机会。
张朝阳
人活着就要记住，最痛苦的时候，可能就是最接近成功的时候。
陈忠实
 在特蕾莎眼中，书籍是秘密兄弟会的徽章，象征着灵魂的契合与共鸣。
米兰·昆德拉
和谐是宇宙的本质。
Harmony is the essence of the universe.
毕达哥拉斯
我想要的没人能给，因为我想要重塑自我。
塔拉·韦斯特弗
只有爱自己，我们才会变得成熟起来，才能更好地和别人相处。否则，如果我们把自己的幸福和快乐都寄托在别人身上的话，就会被别人当成负担，自然也没办法和谐相处。
卡耐基
对于崇高的东西，能够沾到边已足够幸福。
东野圭吾
让我花掉一整幅青春,用来寻你。
徐志摩
"We are all the heroes of our own stories."
我们都是自己故事中的英雄。
乔纳森·科
良好的判断是经验丰富的结果，而丰富的经验则来自糟糕的判断。
马克·吐温
世上有些人就是十分古怪，甚至死亡也会使他们变得可笑。死得越可怕他们就越显得滑稽可笑。想把他们的死亡看得严肃一点儿也没有用。
亨利·米勒
痛苦不是用来炫耀的勋章，是用来跨过去的台阶。
大S
In our industry, safety isn't a priority - priorities can change; safety must be a value.
在我们这个行业，安全不是优先事项 - 优先事项可以改变；安全必须是一种价值观。
迈克尔·戴维斯
埋没，你才必须忍受暂时的被埋没。不要因为看不见收获而觉得不耐烦。
罗兰