Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
如果我们希望海洋繁荣，就必须倾听科学的声音。
We must listen to the science if we want our oceans to thrive.
豪尔赫·卡斯蒂略
普通人把时间浪费在短期思考上，浪费在毫无价值的繁重工作上。
纳瓦尔·拉维康特
我是世界的一部分，生活的一部分，就像他们所说的那样，我有所属，我无所属。
亨利·米勒
改革是中国的第二次革命。这是一件很重要的必须做的事，尽管是有风险的事。
邓小平
科技创新要面向国家重大需求，解决实际问题。
李振声
就这样混混沌沌，过了一年又一年，过了三年又三年，过了十年又十年。
残雪
放下期待，便是自由的开始。
希阿荣博堪布
The thought is the sense of the sentence.
思想是句子的意义。
戈特洛布·弗雷格
悦容貌，喜歌舞，调笑无厌，云雨无时，恨不能尽天下之美女供我片时之趣性”者，作者统统斥之为可心会而不可口传，可神通而不可语达。
曹雪芹
True irreverence is disrespect for another man's god.
真正的大不敬是不尊重别人的神。
马克吐温
要知道把钱送人是一种牺牲，凡是明白事理的人谁肯做这样的傻事？世上的人谁不是施舍了五镑钱就自以为功德无量呢？
威廉·梅克比斯·萨克雷
在这个世界上，再也没有比置身于人群之中，却又得孤独生活更可怕的事了。
斯蒂芬·茨威格
这个世界并不美好，所以美好是值得我们去追求的。
罗翔
有时候，生活中最难的事情是知道该跨过哪座桥，该烧掉哪座桥。
Sometimes, the hardest thing in life is to know which bridge to cross and which to burn.
丹尼斯·勒翰
科学就像生命，靠自身的衰败而生存。新事实打破旧规则，然后新近发现的概念将新旧结合成一个调和的法则。
威廉·詹姆斯
The true cost of inequality is the potential that goes unrealized.
不平等的真正代价是未实现的潜力。
克劳迪娅·戈尔丁
默然忍受命运的暴虐的毒箭，或是挺身反抗人世的无涯的苦难，通过斗争把它们扫清，这两种行为，哪一种更高贵？死了，睡着了，什么都完了。
莎士比亚
希望会使人年轻，因为希望和青春是一对同胞兄弟。
雪莱
最终，我们记住的不是敌人的话语，而是朋友的沉默。
"In the end, we will remember not the words of our enemies, but the silence of our friends."
罗莎·蒙特罗