Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
他自己的光荣和他自己的死亡。一切都是他自己的，好也罢，歹也罢，全都是他自己的。要舍弃掉这些吗？为了经常与郁暗的波涛和长空云际那崇高的光亮直接交往，却变得无法辨认那些虽然被抑制住，却依然在心中扭曲并蛮横无礼地亢奋着的最高雅和最卑劣的感情，于是就把这个功过是非全都转嫁给了大海，你要舍弃那显赫的自由吗？
三岛由纪夫
天空爱上大地，但却离大地太远。于是，每当天空想大地的时候，就会下起倾盆大雨。
张爱玲
霍金斯不但有无可挑剔的美貌和种种优点，而且还拥有一笔属于自己的财产，正如故事中常说到的那样，这不但是一种便利，而且还是尊严的基础。
简·奥斯汀
当我14岁时，我受不了我的父亲，他愚蠢极了。但是我21岁的时候，我很惊讶他七年变得这么聪明！
马克吐温
很多人失败的原因不是钱太少，而是钱太多。
马云
每个人都争取一个完满的人生。然而，自古及今，海内海外，一个百分之百完满的人生是没有的。不完满才是人生。这是一个“平凡的真理”；但是真能了解其中的意义，对己对人都有好处。对己，可以不烦不躁；对人，可以互相谅解。
季羡林
技术的民主化需要公众参与技术决策的过程。
理查德·奥尔森
清单变短了，功夫就下得深了。
罗振宇
你能给予他人的最伟大礼物是你的时间。
The greatest gift you can give someone is your time.
瑞奇·马丁
自觉抵挡诱惑：自由的代价是自律。
张德芬
在戏剧中如同在生活中，每个角色都应自带光明与阴影。
En el teatro, como en la vida, cada personaje debe llevar su propia luz y su propia sombra.
何塞·埃切加赖
这在中国的每一个自然景点已经成了俗套，自然界如果不跟人找到某种结合点就一无是处。一座山要么长得像什么，要么某人写过一首什么诗词，要么有过一个远古的传说，这一切都让岩石具有了生命。如若一座建筑没有招牌或什么形象标志，那它的形式本身和在城里的位置就足以说明它的功能：王宫、监狱、铸币厂、学校、妓院。就连商贩在货摊上陈放的商品的价值也不在于其自身，而在于作为符号代表其他什么东西：绣花的护额带代表典雅.
彼得·海斯勒
我希望能做到融奇崛于平淡，纳外来于传统，不今不古，不中不西。
汪曾祺
君子之言，信而有征。
解释：君子所说的话，可靠而且有证据。
左丘明
作为一个艺术家，我永远不想停止学习和成长。
I never want to stop learning and growing as an artist.
莎拉·布莱曼
上帝从来不对任何人施舍"最幸福"这三个字，他在所有人的欲望前面设下永恒的距离，公平地给每一个人以局限。
史铁生
资本市场的波动是常态，真正的价值投资者应该学会在波动中寻找机会。
沈南鹏
所谓中国的文明者，其实不过是安排给阔人享用的人肉的筵宴；所谓中国者，其实不过是安排这人肉的筵宴的厨房。
鲁迅
读书可以帮我思索，可是我这里想通了，那里又堵死了。
杨绛