"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
想要让他人接受你的主观时间注定是无法做到的，因为每个人与钟表时间的关系都是千差万别的。
简·博克
爱情里面要是掺杂了和它本身无关的算计，那就不是真的爱情。
莎士比亚
在荒诞的世界里，我们依然要坚持自己的信念，勇敢地活下去。
余华
企业家精神的核心是创新和冒险。
李彦宏
野心就是一切虚伪和谎话的根源。
恩格斯
在无人问津之时，要做的就是多读书，潜心磨好手中的剑，要相信终有一天，知识不会辜负努力的你。
董宇辉
培养好自己的耐挫力，被冷漠遗忘了，没有什么怨尤；碰壁陷入困境了，也绝不会消极，这是内心极度强大的表现。
王蒙
谁能比这种人更痛苦呢，他们人虽在世，却已亲身参加了埋葬自己名声的丧礼？
培根
人生的经历就像是铅笔一样，开始很尖，经历的多了也就变得圆滑了，如果承受不了就会断了。
屠呦呦
文学是人类的记忆。
Literature is the memory of humanity.
马里奥·巴尔加斯·略萨
此心光明，亦复何言。
王阳明
共产主义的特征，并不是要废除一般的所有制，而是要废除资产阶级的所有制。
马克思
苏幕遮本意向来痴，从此醉，水榭听香，指点群豪戏。剧饮千杯男儿事，杏子林中，商略平生义。昔时因，今日意，胡汉恩仇，须倾英雄泪。虽万千人吾往矣，悄立雁门，绝壁无余字。
金庸
科学家们懂得他们的理论一开始就是近似，所以他们从未指望从其理论导出的结论与真实世界无丝毫误差。
尼古拉·特斯拉
在现实生活中，人们往往是依靠勇气而不是智慧去取得领先的位置的。
罗伯特·清崎
红星照耀下的中国，英勇无畏，砥砺前行，每一句誓言都震撼人心。
埃德加·斯诺
Architecture should be generous - it must give more than it takes.
建筑应该是慷慨的——它必须给予的比索取的多。
伊冯·法雷尔和谢莉·麦克纳马拉
命运之神喜欢热闹，有时还喜欢嘲弄人，它每每令人可恼地给伤心惨目的悲剧掺进一点滑稽的成分！
斯蒂芬·茨威格
一片树叶受到阳光照耀，它的背面一定是阴影，阳光越亮，阴影越深。
雨果