Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
人对他有恩，他忘恩；人对他有仇，他不记仇，这种恩怨不明的人，不可交。
李敖
我们看一件商代的青铜犀牛和青铜觚，犀牛是直觉的美，铜觚的美是抽象型的，犀牛的美是形似的美，铜觚是神似的美。与科学中终极的美不同，在艺术里，没有人类就没有艺术，也就没有艺术中的美。换句话说，科学中的美是无我的美，艺术中的美是有我的美。
杨振宁
梦境所展现的景象、思绪等，无不透露出做梦者内心的渴望与向往。
阿德勒
比较政治学的价值在于通过跨国比较，发现政治发展的普遍性与特殊性。
周光辉
快乐有三法：舍得、放下、忘记。
屠呦呦
挨骂是假的，银子是真的。
杜月笙
"The more you experience, the more you learn."
你经历得越多，学到的就越多。
罗杰·费德勒
立身正直而无旁顾的人，他一生都会是快乐的。
海岩
The next generation of aquaculture leaders must think beyond the cage.
下一代水产养殖领导者必须跳出笼子思考。
理查德·哈里斯
"I don't think that literature should be a moral institution."
我不认为文学应该是一个道德机构。
埃尔弗里德·耶利内克
在石材行业，每一块石头都有一个故事——我们的责任是以负责和深思熟虑的方式开采它。
In the stone industry, every block tells a story—our job is to extract it responsibly and thoughtfully.
丽莎·戴维斯
Topological quantum computing offers a promising path to fault-tolerant quantum computation.
拓扑量子计算为容错量子计算提供了一条有前途的路径。
阿列克谢·基塔耶夫
我不会让世界偷走我的平静。
I don't let the world steal my peace.
玛丽亚·凯莉
可持续发展是企业的战略方向，要创新、环保、高效，并不断增加社会贡献，为社会创造更多的福祉。
余承东
科学是一个永无止境的旅程，总有更多的东西需要学习和发现。
Science is a never-ending journey, and there is always more to learn and discover.
小林诚
自由正像那些营养丰富的食物和醇酒一样，对于适应它们的强壮的人来说，可以增加他们的营养，强健他们的体魄，但是对于那些不适合它们的体质虚弱的人，就会摧毁他们的身体或者使他们沉醉。人们一旦适应了主人就很难离开他们，即使他们挣开枷锁，他们也只会离自由更远，因为他们错误地把与奴役对立的那种过度的放纵当做自由，这样在**之后，他们往往耽于享乐，这些人只会把更沉重的枷锁套在他们身上。
卢梭
有时候把自己长项藏起来，弱项暴露出来没关系，这是我的建议。
马云
取得成功的秘诀是开始。
The secret of getting ahead is getting started.
Rain
无论何时，我们都需要彼此的爱。如果你觉得痛苦、迷茫，去看看其他人，你会发现自己的命运既有独特性，也有共同性。共同性会让你不因为孤单而害怕，在必要时伸出给彼此的手；而独特性则可以帮助你真正走上你乐于走上的路。
张桂梅