"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
首先，自信到极端，便是盲目；其次，知己知彼，百战不殆。最后，做企业的首要是市场意识。
阿耐
我后来到过很多地方，走进过很多水果店，都没有这家水果店的浓厚的果香。这家水果店的香味使我常常想起，永远不忘。那年我正在恋爱，初恋。
汪曾祺
什么是教育，那就是学生把在学校所学的东西都忘记以后，剩下的东西。
斯金纳
企业有效运作的基本模式：方向大致正确，组织充满活力。
孟庆祥
一天早晨，格里高尔 萨姆沙从不安的睡梦中醒来，发现自己躺在床上变成了一只巨大的甲虫。
弗兰兹·卡夫卡
The world is a place of the living, and the dead have no place in it. The dead are nothing. They are not even a memory. They are forgotten. And the living, too, will be forgotten.
世界是生者的地方，死者在其中没有位置。死者什么都不是。他们甚至不是记忆。他们被遗忘了。而生者，也将被遗忘。
维·苏·奈保尔
就算是最成功的科学家，在十个希望和初步的结论中，能够真正实现的也不到一个。
法拉第
为消费者带来更好的体验，把员工与供应商当作真正的伙伴。
刘强东
无论什么事情，只要站在终点眺望，就会变得宽容。把自己的视角转换为在终点跳望，同时决定亲手打造这终点，这才是我所有自由的根基。
三岛由纪夫
Innovation in technology allows us to see farther into space than ever before.
技术的创新让我们能够比以往任何时候都看得更远的太空。
安德烈娅·盖兹
真话说一半常常是弥天大谎。
富兰克林
领导力意味着在不确定性中采取行动，并在混乱中找到秩序。
Leadership means taking action in the face of uncertainty and finding order amidst chaos.
亨利·基辛格
我爱你，没有什么目的。只是爱你。
陆小曼
我们要相信美好的事情即将发生
雷军
对勇敢的人，泪水会玷污他的名字。
罗广斌
生命中总有看不见的善意，我接受生命为我准备的所有课程。
露易丝·海
我不害怕冒险。我认为这就是生活的意义。
I’m not afraid to take risks. I think that’s what life is all about.
蕾哈娜
光直下，蛟龙穴；声直上，蟾蜍窟。
史达祖
CRISPR is a reminder that nature is the greatest innovator.
CRISPR提醒我们，大自然是最伟大的创新者。
詹妮弗·杜德纳