"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
情感是思想的器官。
罗伯特·穆齐尔
婚前，女孩子最重要的是要可爱、温柔、漂亮、会打扮；而婚后，人们却希望她们能够掌管黑人白人加在一起有上百号人口，甚至还有更多的大家庭里大大小小一应事物。
玛格丽特·米切尔
I’m a fighter. I believe in the power of positivity and hard work.
我是个战士，我相信积极和努力的力量。
蕾哈娜
即使在最黑暗的时刻，也有光亮存在。
维克多·弗兰克尔
If you're not moving forward, you're falling behind.
如果你没有前进，那你就是在落后。
汤姆·海斯
每个人都是自己人生的建筑师，每一天都在为未来添砖加瓦。
马克·李维
我曾经沉默地、毫无希望地爱过你。我既忍受着羞怯，又忍受着嫉妒的折磨。我曾经那样真诚那样温柔地爱过你，愿上帝赐给你的也像我一样坚贞如铁。
普希金
The best investment opportunities often come during times of uncertainty.
最好的投资机会往往出现在不确定的时期。
符绩勋
如果我们不打算严格限制权力——哪怕偶尔可能会阻止其用于某些可取的目的，我们就永远防止不了权力的滥用。
哈耶克
高级干部要培养他们的方向感与节奏控制。方向就是面对目标的位置；节奏就是审时度势，因势利导，就是灰度。
任正非
理解习惯背后的心理学可以打开个人成长和自我提升的大门。
Understanding the psychology behind habits can unlock the door to personal growth and self-improvement.
斯科特·普劳斯
他们忘记了一条最主要的道德法则：你不应该为了获得反脆弱性，而牺牲别人的脆弱。
塔勒布
心与心的距离是最近的，也是最远的。
周国平
The stock market is a voting machine in the short term, but a weighing machine in the long term.
股市在短期内是投票机，但在长期内是称重机。
沃尔特·施洛斯
要学会爱自己， 因为很快就要面对孤独时代。
朱德庸
其实已经不知道呼唤过多少次，那个时候却没有一次回应，无论再怎么呼唤，再怎么祈祷，总有得不到的东西，到头来还是只能独自艰难前行，不断迷路，疲惫不堪，从此我就决定求不来的东西我再也不开口了。
村井贞之
女孩拢头发时斜眼一笑很好看，男孩系球鞋带而抬头说话很好看，还有，那种喜鹊叫客人到的童年。
木心
男儿不展同云志，空负天生八尺躯。
冯梦龙
一个消息来了，咱哪分得清它是好是坏？如果它最后是好消息，那它只是我们努力的模样。
罗振宇