"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人可以犯错，但不可犯同一个错。
史蒂夫·乔布斯
一切迷恋都凭借幻觉一切理解都包含误解一切忠诚都指望报答一切牺牲都附有条件。
周国平
我喜欢修指甲，我喜欢打扮，我喜欢哪怕在闲暇时也涂唇膏穿盛装，我喜欢粉色。我相信快乐的女孩最漂亮。我相信明天的太阳是新的……我相信奇迹的存在。
奥黛丽·赫本
The challenge in computer science is not just to create new technologies, but to ensure they are used ethically and responsibly.
计算机科学的挑战不仅在于创造新技术，还在于确保它们被道德和负责任地使用。
艾伦·爱默生
听到自己的孩子头一回清清楚楚地喊你一声爸爸，这感觉是异乎寻常的。这是造物主借孩子之口对你的父亲资格的确认，面对这个清纯的时刻，再辉煌的加冕也黯然失色了。我心里甜得发紧，明白自己获此宠赏实属非分。
周国平
My kids are my greatest inspiration and my biggest motivation.
我的孩子是我最大的灵感和动力。
亚瑟小子
人家说女人是半个男人，这话是不错的。因为结婚的男人只剩下半个男人了。
罗曼·罗兰
Every fall is for a better stand.
每一次的跌倒都是为了更好的站起来。
王力宏
看大河挡道，所以就架起了桥梁；看大山阻路，所以就挖通了隧道；看交通不便，所以就修起了铁路。然而，人类是永远不可能满足的。
夏目漱石
人在逆境里比在顺境里更能坚持不屈。遭厄运时比交好运时更容易保全身心。
雨果
我的生命除了爱情以外别无所求，我拼命抓住爱情。除了来自女友的音信以外，我什么也不期待，什么也不再愿意期待。
安德烈·纪德
智慧、时间、诚意都是企业的另一种投资。不懂这个道理的人，就不是真正的公司从业员。
松下幸之助
我从6岁开始就认为自己是作家了，因为我是一直坐在家里写作的。
池莉
那些与我们争执的人，在我们看来，就是在攫取我们的生命。
布莱士·帕斯卡
如果周围的人试图劝阻你不要采取某些习惯，奚落嘲笑你的想法，就将它视为成功的潜在征兆。
吉姆·罗杰斯
于官不贫，赖债不富。
兰陵笑笑生
教养良好的人处处和他人过不去，头脑聪明的人处处和自己过不去。
王尔德
民众爱严峻的统治者，甚於爱乞怜的人。
阿道夫·希特勒
教师必须为形成较好人类而献出一切。
蒙台梭利