Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我认为写真实生活很重要，即使它很艰难。
"I think it's important to write about real life, even if it's tough."
杰奎琳·威尔逊
一个人，最可怕的就是内耗，别人的一句话，会拿出来反复咀嚼；过度分析、思考以及自我否定。这种精神上的消耗，往往比肉体消耗更煎熬。
稻盛和夫
The energy industry is not just about powering homes; it's about powering progress and innovation.
能源行业不仅仅是给家庭供电；它是推动进步和创新的动力。
德文·亨利
我每次比赛的时候，就特别想让她们，让那些观众粉丝在我们跳之前不要喊，我们会想好自己的动作，跳前喊的话会有点打乱自己的想法
夺得巴黎奥运会女子10米台冠军之后，全红婵在接受采访时呼吁道
全红婵
任何时候都要坚守致富的三项基本法则：将所有收入的至少 1/10 留给自己储存起来；向内行人和有智慧的人咨询商事并寻求投资忠告；让积累的财富充当你的奴隶，自始至终不断地为你效力。
乔治·克拉森
我们之所以伟大，并不是在于趋向一端，而是同时触及两端，并将这两端之间的所有空隙完全填满。
布莱士·帕斯卡
因为法律只是对人最低的道德要求，如果一个人标榜自己遵纪守法，这个人完全有可能是人渣。
罗翔
无论是人类还是民族，如果没有崇高的理想，就不能生存。
陀思妥耶夫斯基
在计算机领域内，技术与应用发展更新极快，对其技术的把握很难做到一劳永逸。有些人把握了某种技能，生产出某种产品，就以为能一劳永逸，万事大吉了，这样非常危险的。
比尔·盖茨
可持续性不是选择，而是必然。
Sustainability is not an option, it's a necessity.
邵根伙
艺术家必须是沉默的声音。
The artist must be a voice of silence.
安东尼·塔皮埃斯
因为我既不生活在过去里，也不生活在未来之中，我所有的，仅仅是现在，我只对现在感兴趣。假如你能总是把握住现在，那你就会成为一个幸福的人。
保罗·科埃略
"The novel is the great democratic art form. It's the one place where you can be anyone, do anything, and say anything."
小说是伟大的民主艺术形式。在这里，你可以成为任何人，做任何事，说任何话。
霍华德·雅各布森
品质是乳制品行业的生命线，我们必须坚守最高的质量标准。
卢敏放
如此胡闹风靡一时，被青年人奉为时髦；有些聪明而平庸的艺术家也一本正经地用这类推理来补偿自然情趣的不足或为此辩解。可是事事认真的莱夏尔特有一段时间却对这一切都郑重其事，并因此把游手好闲之辈耽于空话的本事悉数学到了家，而这种活动正是一切有价值的工作的死敌。
赫尔曼·黑塞
才能最好于孤独中培养；品格最好在世界的汹涌波涛中形成。
歌德
The first step toward getting somewhere is to decide that you are not going to stay where you are.
迈向某处的第一步是决定不再停留在原地。
理查德·派克
听到恭维，不要自满；受到责难，不要灰心，只管好好做人。
王鼎钧
我们的时代是程序员主导的时代，而伟大的程序员就是黑客。
保罗·格雷厄姆