"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
Love is not a profession, it's a condition.
爱不是一种职业，它是一种状态。
安妮·卡森
为学当有实功，有实用。
梁启超
We learn more from failure than to learn from success.
我们从失败中学到的东西要比在成功中学到的东西要多得多。
塞缪尔·斯迈尔斯
一人道好，千人传实。
谚语
刑罚的正当性不仅在于报应，更在于预防犯罪和矫正犯罪人。
曲新久
我怎么受得了？我一不留神，他们就打击我。在人面前，在我妻子面前，我羞愧难当；这种羞愧每一天、每一个小时，越积越多。
威廉·戈尔丁
我们向着黄河，向着祖国的原野，高唱着我们的战歌。
光未然
我看好《再别康桥》中的一句：轻轻的我走了，正如我轻轻的来。在徐志摩先生，那未必是指生死，但在我看来，那真是最好的对生死的态度，最恰当不过，用作墓志铭再好也没有。我轻轻地走，正如我轻轻地来，扫尽尘嚣。
史铁生
可持续性不仅仅是一种趋势；它是对后代的责任。
Sustainability isn't just a trend; it's a responsibility for future generations.
艾伦·帕克
将者，士之心也；士者，将之肢体也。
刘向
生命永远是我们从父母那里得到的最伟大的礼物。
伯特·海灵格
在这城市的春天，人心已经发霉，志向也已染了痨瘵，流水已充塞毒热的微菌，柳絮也传布脑膜炎的小机体。
林语堂
阅读肯定是很孤独的，可以固定的时间干固定的事情。我看到有个人说ta阅读是每天在一张非常好的桌子上，看到外面很好的风景，要有个仪式感，然后把时间耗进去。
徐新
我希望激励他人追求他们的激情和梦想。
I hope to inspire others to pursue their passions and dreams.
詹妮弗·康纳利
Healthy citizens are the greatest asset any country can have.
健康的公民是国家最大的财富。
丘吉尔
萨拉曼卡大学和西班牙别的大学的学生，都以穿得破破烂烂为光荣，大概他们想以此表示一个人的真正价值并不需要财产来装饰。
普罗斯佩·梅里美
生命短暂，但永远有时间保持礼貌。
Life is short, but there is always time for courtesy.
德雷克
怀疑并不是缺点。总是疑，而并不下断语，这才是缺点。
鲁迅
今后我国欲振兴航业，巩固海权，一洗久积之国耻，沿海诸省，应负奋起直追之责。然欲兴航业，必须培育多数之航业人才。
陈嘉庚