"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
凡能在日常生活中学得人情世事，就是获得了人生最高真谛。
二程
宇宙的真相或许就像一面破碎的镜子，每一块碎片都映照出不同的世界，而我们只能看到其中的一小块。
宝树
如今我却被锁在这死亡的一小片海水中。
赫尔曼·梅尔维尔
做人要经得起诱惑，守得住底线。
李嘉诚
从御池大街往上走，一路上，她看见打睿山到北山的`天空一片火红，不禁驻足仰望了好一阵子。
川端康成
假设目今以为荣华不绝，不思后日，终非长策。眼见不日又有一件非常喜事，真是烈火烹油，鲜花着锦之盛。要知道，也不过是瞬息的繁华，一时的欢乐，万不可忘了那‘盛筵必散’的俗语。此时假设不早为后虑，临期只恐懊悔无益了。
曹雪芹
有时候不要过多解释，反而对的会变成错的，做好自己的事就可以了。
杨洋
千万别在你还没了解这个世界的时候，就把自己固定了。
梁永安
繁杂的经历在眼角镌刻深深的纹，我转身雕下一朵花。
海子
例如，我在结尾时可能这样说：“该停了，真可惜，我真不希望对这样热烈的讨论喊停。”
欧文·亚隆
今天做这件事情，完全就是为了影响力，为了去赢，持续地能去赢这件事情，对我、对徐传陞、对我们核心同事来说都非常非常重要。因为只有这样的驱动力，才能让我们做得更好。
张颖
繁星闪烁着——深蓝的太空何曾听得见它们对话？沉默中微光里它们深深的互相颂赞了。
冰心
我是精神上毕不了业的人，只要汲取知识，就感觉踏实、安心、快乐。
胡蝶
概率不站在我一边，我根本不玩。哪怕只是休闲娱乐，如果概率对我不利，我都不愿参与。有时候，我也和比自己水平高的对手打桥牌，但我只是为了向高手学习。不是为了学点东西，我才不和高手打呢。我就是不喜欢和概率做对。
查理·芒格
重要的东西是眼睛看不见的，若批评不自由，则赞美无意义。人非圣贤，孰能无过？只有大方地承认自己不是圣贤，人才不会把自己有限的精力全部用来追求完美。追求完美本身就是一种痛苦，因为不可能实现。你可以当年做得不够好，是因为那些遗憾，你现在想做得更好。我们可以不完美，可以犯错，只要有从头再来的勇气，我们可以被击垮，被击溃，但只要在雨后的夜里，再一次收紧拳头，凝聚力气，找到重新出发的勇气和不肯认输的少年之心。一个人可以坦坦荡荡地走在阳光里，一个人也可以落落大方地走在星光里。我就想让你成为这样，因为我也想成为那样。
董宇辉
只有在不仅消灭了阶级对立，而且在实际生活中也忘却了这种对立的社会发展阶段上，超越阶级对立和超越这种对立的回忆的真正人的道德才成为可能。
恩格斯
书籍是一种冷静可靠的朋友。
雨果
大家知道我在台湾怎么个活法吗？是：不管是一些坏的外省人──蒋介石这些人，或者这些混蛋的台湾人──陈水扁这些人、李登辉这些人，你们干的任何事，我李敖一息尚存，我就把你抖出来！
李敖
All things in their being are good for something.
天生我才必有用。
苏格拉底