"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
仁者不忧；知者不惑；勇者不惧。
【原文】子曰：“君子道者三，我无能焉：仁者不忧、智者不惑、勇者不惧。”子贡曰：“夫子自道也。”【译文】孔子说：“君子之道有三条，我都没能做到：仁德的人不忧愁、智慧的人不迷惑、勇敢的人不畏惧。子贡说：“(这正是)老师您的自我表述啊!”
孔子
只要有一株马利筋怀抱信仰，杰出成熟的种子，谁还相信圣经中先知米勒或但以理所言，关于世界末日将在今年夏天来临的预言呢？
梭罗
辩证法不崇拜任何东西，按其本质来说，它是批判的和革命的。
马克思
The books that the world calls immoral are books that show the world its own shame.
世界称之为不道德的书籍，其实是展示世界自身羞耻的书籍。
安德鲁·米勒
这两个肩膀挺怪，人非常老迈了，肩膀却依然很强健，脖子也依然很壮实，而且当老人睡着了，脑袋向前耷拉着的时候，皱纹也不大明显了。
海明威
假如是我，要是我有五十三分钟可以自由运用，那我会悠哉游哉向一道清泉走去。
安托万·德·圣-埃克苏佩里
穷天下之辩者，不在辩而在讷。 　　伏天下之勇者，不在勇而在怯。
弘一法师
The best way to be successful is to never give up.
成功的最好方法是永不放弃。
塔莉亚
既然是梦想不妨就让它完美些罢。何必连梦想也那么拘谨那么谦虛呢？我便如酔如痴并且极端自私自利地梦想下去。
史铁生
界限对任何人际关系都很重要。
菲利帕·佩里
道德行为训练，不是通过语言影响，而是让儿童练习良好道德行为，克服懒惰、轻率、不守纪律、颓废等不一良行为。
夸美纽斯
人们所努力追求的庸俗的目标？财产、虚荣、奢侈的生活？我总觉得都是可鄙的。
爱因斯坦
心灵的纯洁是愿意一件事。
Purity of heart is to will one thing.
克尔凯郭尔
Collaboration across industries and governments is essential to tackle the global challenge of climate change.
跨行业和政府的合作对于应对气候变化的全球挑战至关重要。
安德鲁·麦肯齐
导演是关于合作的；它是关于将一群有才华的人聚集在一起，创造出比各部分总和更伟大的东西。
Directing is about collaboration; it's about bringing together a group of talented people to create something greater than the sum of its parts.
汤姆·霍珀
最接近雕刻的绘画最完美。
朗费罗
最后是类比论，看不见的正义才是需要去相信的。
罗翔
人生如果达到了某种境界，自然会认为无论什么地方都可以安身。
梭罗
勤在寒窗苦读时，乐在金榜题名后。
罗翔