"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
范梅南的名言：教学是即席创作。每个教师都是课堂作家、课堂艺术家和课堂创客。这是何等荣耀而艰难的称号！
李政涛
商鞅变法之开塞，非不行也；章邯却胡万里，非无功功率也；威震天下，非不强也；诸侯随风飘荡西边，非不从也；殊不知皆秦往往亡也。
桓宽
那些听不见音乐的人认为那些跳舞的人疯了。
弗兰兹·卡夫卡
Challenges are opportunities in disguise; embrace them with courage.
挑战是伪装的机会；以勇气拥抱它们。
维多利亚·斯科特
一生未必会满座。
李荣浩
数理逻辑的特征在于它是从量的方面来研究思维的形式结构，是严格意义的形式逻辑的一个重要分支。
沈有鼎
The house is a small city, the city is a large house.
房子是一座小城市，城市是一所大房子。
阿尔多·罗西
纵观历史，有的书改变了世界。它们扭转了我们看待自身和他人的方式。它们引发争论，产生异见，挑起战争，催化革命。它们发人深省，激发愤懑，鼓动情绪，提供慰藉。它们丰富了我们的生活，也摧毁了我们的生活。
托马斯·潘恩
社会仅仅以一种精神概念而存在，真实世界中只有个体存在。
王尔德
巫山彩云没，高丘正微茫。伫立望已久，涕落沾衣裳。
陈子昂
最好的艺术来自脆弱。
The best art comes from vulnerability.
宇多田光
我今天才知道，我之所以漂泊就是在向你靠近。
罗伯特·詹姆斯·沃勒
你越努力，就越幸运。
The harder you work, the luckier you get.
凯文·普兰克
一个尝试错误的人生比无所事事的人生更荣耀，并且有意义。
萧伯纳
概率论是唯一可用的数学工具，用于帮助映射未知和不可控的事物。
The theory of probabilities is the only mathematical tool available to help map the unknown and the uncontrollable.
皮埃尔-西蒙·拉普拉斯
我有无告诉过你，终其一生在嫣红侄紫花丛中穿梭的蝴蝶，原属色盲？
亦舒
告诉我，我会忘记；教给我，我会记住；让我实践，我才能学会。
富兰克林
知道自己不知道什么比聪明更有用。
查理·芒格
唯有破除宗教理性化的迷惘，方可还真正信仰的本来面目。
大卫·休谟