"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
精神振作的商人，除了有小心谨慎的习惯外，还得要有敏捷和不因循两种长处。
卡耐基
原来地球恰似一侧媚的女子，绝不肯直瞪着看太阳，她只用眼角余光斜斜一扫，便享尽太阳的恩宠。
张晓风
让你等太久的人，最后都不会选择你。
央视金句
写作是让看不见的东西变得可见的一种方式。
Writing is a way of making the invisible visible.
安妮·埃尔诺
痛苦遗留给你的一切，请细加回味！苦难一经过去，苦难就变为甘美。
歌德
领袖就是一个贩卖希望的商人。
拿破仑
The edge of the sea is a strange and beautiful place.
海的边缘是一个奇异而美丽的地方。
蕾切尔·卡逊
我是我，产品是产品。CEO的职责为什么是把自己的喜好加到产品上？CEO的责任是为公司创造效益，为员工提供薪水，为社会提供产品服务——这是企业的目标，而我做的事要最有利于这个目标。
张一鸣
Every tree we plant today is a promise to tomorrow.
我们今天种下的每一棵树都是对明天的承诺。
伊万·彼得罗夫
在今天和明天之间，有一段很长的时间；趁你还有精神的时候，学习迅速办事。
歌德
城市是一所学校，它的建筑是老师。
The city is a school, and its buildings are the teachers.
保罗·门德斯·达·洛查
即使时间永恒，善仍是善，白依然白；中午的玫瑰虽不比清晨来得娇美，曾经娇美的事实并不会变。
毛姆
也许一旦真正投入到无限的自由之中时，得到的反而不会是什么“无限的自由”，而是缩手缩脚和无所适从。
李娟
在数字时代，隐私已成为奢侈品。
乔舒亚·科恩
在DOTA的世界里，没有不可能，只有你想不想做到。
Maybe
孝莫假意，转眼便为人父母。
周希陶
我只有你，你从来也没有认识过我，而我却始终爱着你。
斯蒂芬·茨威格
我们要加强国际合作，吸收先进经验，但最终要走出一条适合中国国情的发展道路。
钱七
每个人的生命中都有重大的失落，无论是分手、离婚、失业、亲人好友离世。人生几乎是不可避免会发生各种让我们痛苦的事情，而真正痛苦的不是事件本身，而是我们对这件事的回应、反应。
露易丝·海