"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
真正的爱是无条件的，父母的爱不应该成为孩子表现好的交换条件。
尹建莉
如果你有意地避重就轻，去做比你尽力所能做到的更小的事情，那么我警告你，今后的日子里，你将是不幸的。因为你总是要逃避那些和你能力相联系的各种机会和可能性。
马斯洛
我想让世界为我惊叹！
史蒂夫·乔布斯
流言这东西，比流感蔓延的速度更快，比流星所蕴含的能量更巨大，比流氓更具有恶意，比流产更能让人心力憔悴。
钱钟书
不要依附于任何人，即使他是最亲爱的人——每个人都是一座监狱，也是一个休憩之所。
尼采
一个人成长的过程，是一个不断在失败中寻找与把握机会的过程，没有失败就无所谓成功，没有遭遇过挫折和失败的人生是不丰富的人生，就像白开水，纯净却没有味道。一个人是否活的丰富，不能看她的年龄，而要看他生命的过程是否多彩，还要看他在体验生命的过程中能否把握住机会。
俞敏洪
"You don’t need to walk the path that others have walked. You don’t need to suffer the same scars."
你不需要走别人走过的路，也不需要承受同样的伤痕。
防弹少年团
一个人对人民的服务不一定要站在大会上演讲或是做什么惊天动地的大事业，随时随地，点点滴滴的把自己知道的、想到的告诉人家，无形中就是替国家播种、施肥、垦植！
傅雷
过去的已经过去。死了的不再复生。昔日那种养尊处优的生活已经不能追回。就在斯佳丽把沉甸甸的篮子挎上胳膊的时候，她已下定决心，勾画好了自己的生活蓝图。没有回头路，她只能往前走。
玛格丽特·米切尔
Now, my mama always told me that miracles happen every day. Some people don't think so, but they do.
妈妈总是对我说，每天都会有奇迹。有些人并不同意，但这是真的。
温斯顿·格鲁姆
要在自然中看出生命，要在一草一木中发见自己，故必推广其同情心，普及于一切自然，有情化一切自然。
丰子恺
我不是榜样，我只是想做我自己。
I'm not a role model, I'm just trying to be myself.
麦当娜
如果我们继续以前的教学方法，对我们的孩子进行记、背、算这些东西，我可以保证三十年后孩子们找不到工作，因为他没有办法竞争过机器时代。过去一百年是知识的时代、科技的时代，未来一百年是体验的时代、是服务的时代，机器将会取代过去两百年来很多知识和技术。所以未来要求各国各地区各个家庭高度关注未来孩子的教育。
马云
你的信念系统决定了你看世界的视角。
安东尼·罗宾
慎终，追远，民德归厚矣。
孔子
沙漠教会耐心；河流教会变化。
"The desert teaches patience; the river teaches change."
优素福·泽丹
教育是富人的装饰，不幸者的避难所。
德谟克里特
我去旅行，是因为我决定了要去，并不是因为对风景的兴趣。
加西亚·马尔克斯
最温顺的丈夫惯出最暴虐的妻子。
罗曼·罗兰