"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
赏而不诚不劝也，弄而不诚不戒也。
奖赏不正确，没有鼓励作用；施刑不正确，也起不到惩戒作用。
崔敦礼
无论生活中发生什么，都要善待他人。善待他人是一种美好的传承。
No matter what happens in life, be good to people. Being good to people is a wonderful legacy to leave behind.
泰勒·斯威夫特
他可以在这儿自得其乐，以显要自居，而且，既然摆脱了生意的纠缠，他大可以一心一意地从事社交活动。他尽管以自己的地位欣然自得，却并不因此而目空一切，反而对什么人都应酬得非常周到。他生来不肯得罪人，待人接物总是和蔼可亲，殷勤体贴，而且自从皇上觐见以来，更加彬彬有礼。
简·奥斯汀
在那种学校全体教师之间没有完全一致的地方，在那种彼此不互助并且彼此要求不严格的地力，在那种对自己同志不善于谈不愉快的事情、要是别人对你谈不愉快的事情又善于生气的地方，在不善于命令同志(这是一种难事)，或者不善于服从同志(这事更难)的地方——那儿就没有也不可能有教师的集体。
马卡连柯
"在某个地方，我的花儿……"但是如果绵羊把花儿吃掉了，那个时刻，所有的星星在他眼里就会黯淡下来……但是你认为这不重要！
安托万·德·圣-埃克苏佩里
想要移山的人，先从搬走小石头开始。
The man who removes a mountain begins by carrying away small stones.
威廉·福克纳
我不是说唱歌手，我是一个诺贝尔奖得主。
I'm not a rapper, I'm a Nobel winner.
艾米纳姆
不爱的爱情，永远不会变坏。所以，我们调情，我们暧昧，却永远不要相爱。
张爱玲
孤独不求外物，反求诸己。
陈果
不要让别人知道你的想法，尤其是这些想法会对你不利时。
马里奥·普佐
我们要用脚步丈量民情，用真心换取民心。
黄文秀
"Grief is not a line, carrying you infinitely further from loss. It is a circle, and you come back, again and again, to the same place."
悲伤不是一条线，让你无限远离失去。它是一个圆，你会一次又一次回到同一个地方。
海伦·麦克唐纳
我每天早出晚归，年复一年。我用了17年零114天才一夜成名。
I start early and I stay late, day after day, year after year. It took me 17 years and 114 days to become an overnight success.
梅西
农民不仅仅种植作物，他们还培育社区。
Farmers don’t just grow crops—they grow communities.
莎拉·米勒
上帝说，你可以拥有喜悦，或者你可以拥有权势；但是你不可以拥有二者。
爱默生
当一个人能够直接阅读上帝的时候，那时间太宝贵了，不能够浪费在别人阅读后的抄本上。
爱默生
人生的道路虽然漫长，但紧要处常常只有几步，特别是当人年轻的时候。
鲁彦周
丧失了良知的才智比没有才智更糟。
艾扬格
有那么一刻，你很想他知道你心情糟透了，你好想趴在他身上痛哭一场，听他说一些安慰的话，然而他根本没有看出你的沮丧，也没有问你发生了什么事。就在那一刻，你把话吞回去了，他后来再问，你已经不那么想说了。以后的以后，那个想说的时刻也许会重来，也许不会。
张小娴