Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
写作的艺术是发现一个人所相信的东西的艺术。
"El arte de escribir es el arte de descubrir lo que uno cree."
弗朗西斯科·乌姆布拉尔
我这时突然感到一种异样的感觉，觉得他满身灰尘的后影，刹时高大了，而且愈走愈大，须仰视才见。而且他对于我，渐渐的又几乎变成一种威压，甚而至于要榨出皮袍下面藏着的“小”来。
鲁迅
就因为你喜欢我的东西，不代表我就欠你什么东西。
鲍勃·迪伦
明月装饰了你的窗子，你装饰了别人的梦。
卞之琳
人的美德在于理性和德行的完美结合。
亚里士多德
当人们互相掐住对方的喉咙，富人和穷人，左派和右派等等，你有一个基本的崩溃，这变得非常危险。
瑞·达利欧
好消息就藏在持续累积的改善里坏消息的到来，像戏剧，而好消息则是点滴递进的，经常被认为没有价值。
罗振宇
我不是明星。我只是一个写歌和唱歌的女孩。
I'm not a star. I'm just a girl who writes songs and sings them.
史蒂薇·妮克丝
知屋漏者在宇下，知政失者在草野，知经误者在诸子。
解释：知道房屋漏雨的人在房屋下，知道政策有失误的人在民间，知道经书错误的人在诸子。
王充
在证券市场真正取得大成功的人都认为，他们没能力知道何时进入和离开市场，所以他们几乎始终留在市场里。
沃尔特·施洛斯
世界上唯一不能强求的，是爱情；世界上谁都无法战胜的，是时间；世界上再也找不回来的，是过去；世界上最让人心痛的，是分离。你曾经以为忘记了，却在某个夜深人静时，记起；你曾经以为痊愈了，却在某个灯火阑珊处，痛得无法呼吸。
陆小曼
你加入这里不是为了酷，而是为了让别人酷。
"You join here not to be cool, but to make others cool."
萨蒂亚·纳德拉
我可以整年地训练，因为我知道年底有比赛，为了这些我才训练的。目前也是一样。我准备着去冒险，去做从未做过的事。
姚明
找到自我，无论他的归宿是诗人还是疯子，是先知还是罪犯，这些其实和他无关，毫不重要。他的职责只是找到自己的命运，然后在心中坚守其一生，全心全意，永不停息。所有其它的路都是不完整的，是人的逃避方式，是对大众理想的懦弱回归，是随波逐流，是对内心的恐惧。
赫尔曼·黑塞
要使别人喜欢你，首先你得改变对人的态度，把精神放得轻松一点，表情自然，笑容可掬，这样别人就会对你产生喜爱的感觉了。
卡耐基
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
应对不自由世界的唯一方法，就是变得如此绝对自由，以至于你的存在本身就是一种反抗。
亚当·西尔维拉
成功并不是终点，失败并不是终结，只有勇气才是永恒。
丘吉尔
当机会来临时，果断出手，犹豫不决只会让机会溜走，勇敢抓住才能开启新篇章。
当年明月
要想成长，就要不断学习，把学习当成一种生活方式。
傅盛