成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
当人情绪低落时候，喜欢看日落。
安托万·德·圣-埃克苏佩里
如果没人关心，没人认同，又必须得有人开始，那么，由你开始做起就对了。
阿德勒
Stay hungry, stay foolish.
保持饥饿，保持愚蠢。
马克·帕克
现代科学是满足人类需求的催化剂。我们必须确保它惠及穷人中的最穷人。
纳伦德拉·莫迪
政府提供的预决算报告应在会议前提前一个月“上网”，供代表查阅和审议。预决算报告应界面友好、通俗易懂，能够就社会普遍关心的话题，如三公消费、民生投入等进行相关科目调整，作出回答，避免看不懂报告或报告没有代表看的尴尬现象屡屡出现。试行绩效审计监督制度。可以由各地各级的人大财经委员会牵头，组织有较高资质的第三方财务审计机构、事务所，以及部分人大代表中具备专业背景的人士共同参与。
李迅雷
历史的终结不是事件的终结，而是人类政治和社会制度演进的终结。
The end of history is not the end of events, but the end of the evolution of human political and social institutions.
弗朗西斯·福山
让自己的内心藏着一条巨龙，既是一种苦刑，也是一种乐趣。
雨果
我们要坚持市场化改革方向，激发企业内生发展动力。
侯启军
少年贪玩，青年迷恋爱情，壮年汲汲于成名成家，暮年自安于自欺欺人。人寿几何，顽铁能炼成的精金，能有多少？但不同程度的锻炼，必有不同程度的成绩；不同程度的纵欲放肆，必积下不同程度的顽劣。人皆可以为尧舜，也可以成为恶劣的刁徒或卑鄙的小人。锻炼必定留下或多或少的成绩。
杨绛
读书有三种方法：一种是读而不懂，另一种是既读也懂，还有一种是读而懂得书上所没有的东西。
佚名
我并不怕犯错，搞不好会在其中一条冤枉路上，找到人生的目标。
毛姆
我们生活在一个由故事构成的世界里。
佚名
往后的日子我只能一个人过了，我总想着自己日子也不长了，谁知一过又过了这些年。
余华
我愿行甲不再成为世人眼里的奇葩，我愿世间有更多的“行甲”。我希望我们的孩子可以像行甲一样追随内心，历尽手帆，归来仍是少年。但我更希望的是我们的孩子能生活在一个寬容个性、鼓励纯粹与真实的环境里，不用经历行甲经历的那些被迫的义无反顾和沧桑变化。
陈行甲
A mathematician is a device for turning coffee into theorems.
数学家是将咖啡转化为定理的装置。
马克·布劳尔
过去我一再问及你经济情况，主要是为了解你的物质基础，想推测一下再要多少时期可以减少演出，加强学习——不仅仅音乐方面的学习。我很明白在西方社会中物质生活无保障，任何高远的理想都谈不上。但所谓物质保障首先要看你的生活水准，其次要看你会不会安排收支，保持平衡，经常有规律的储蓄。生活水准本身就是可上可下，好坏程度、高低等级多至不可胜计的；究竟自己预备以哪一种水准为准，需要想个清楚，弄个彻底。
傅雷
不能与伪善者周旋时，便伪恶，淋淋漓漓地伪恶，使伪善者却步敛笑调头而去。别的东西如果不是这，可以是那，艺术品如果不是艺术，就什么也不是。
木心
摄影是真实的。电影是每秒24次的真实。
Photography is truth. The cinema is truth 24 times per second.
让-吕克·戈达尔
心灵的转变，始于每一次的反省。
希阿荣博堪布