"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
最甜美的水果是用诚信种出来的。
The sweetest fruits are those grown with integrity.
哈维尔·卡马乔
要理解一种文化，首先必须理解它的故事。
To understand a culture, one must first understand its stories.
沙尔卡维·哈桑
It looks like a solitary sport, but it's a team.
这看起来像是一项孤独的运动，但它是一个团队。
戴安娜·尼亚德
知来处，方知去处。
李一诺
You don't have to be a rock star to want to change the world.
你不需要成为摇滚明星才能改变世界。
波诺
无人机行业的核心竞争力在于持续的创新和快速的市场响应能力。
陈金培
你真的要离开吗？因为我想要的一切就是你能出现在我的门前。
And don’t you leave， cause I know all I need is on the other side of the door.
泰勒·斯威夫特
我亲爱的母亲！在您眼里我永远是个孩子呀，我真想把头伏在您膝盖上，大痛一场来得到一丝慰藉。其实，我也真是个孩子呢，衣柜里短小童装，仿佛就在昨天，而这一切全都过去了。
雷马克
品控工作要稳定，本质不是靠高压维持，而是靠把品控工作网络化。
罗振宇
赤心事上，忧国如家。
韩愈
能令暂开霁，过是吾无求。
韩愈
我们讲述的关于动物的故事更多地反映了我们自己，而不是它们。
"The stories we tell about animals say more about us than they do about them."
海伦·麦克唐纳
今生只想拥有一种能力：对生命心存感激，对生活心满意足。感激和满足，是一种不管事情大小都感到高兴的能力。知足常乐。
释迦牟尼
当一个人失去了感官，其他感官会变得异常敏锐，甚至大脑也会以惊人的速度运转。
海伦·凯勒
“大局为重”四个字是万能狗皮膏药，在必须牺牲一方利益来换取另一方利益的时候，“大局为重”就要出场了。。
韩寒
欲人勿闻莫若勿言，欲人勿知莫若勿为。
班固
聪明的年轻人以为，如果承认已经被别人承认过的真理，就会使自己丧失独创性，这是极大的错误。
歌德
于是我悟出了，一个人即使只生活过一天，他也可以在监狱待上一百年而不至于难以度日，他有足够的东西可供回忆，绝不会感到烦闷无聊。从某种意义上来说，这也是一种愉快。
加缪
茱莉亚认为，假如你真的在乎一个人，最好不要虚头巴脑地问人家“你感觉怎么样”，应该直接问对方“饿不饿”。
弗雷德里克·巴克曼