"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
牡丹为花之王，荔枝为果之先，独不论白菜为菜之王。
齐白石
But there is only one thing which gathers people into seditious commotion， and that is oppression.
唯有一件事可使人们集体陷入煽动性的骚乱，那即是压迫。
约翰·洛克
你对身体投入的意识越多，你的免疫系统就会变得越强，好像每个细胞都被激活并欢跃一样。不仅你的身体免疫系统会得到加强，你的精神免疫系统也会得到提升。
埃克哈特·托利
世界是一个非常复杂的地方，并不总是容易理解我们周围发生的事情。
The world is a very complicated place, and it's not always easy to understand what's happening around us.
拉斯诺霍尔卡伊·拉斯洛
数学思想的美丽之处在于它可以跨越文化和时间被分享和理解。
The beauty of a mathematical idea is that it can be shared and understood across cultures and time.
丹尼斯·苏利文
每一个经历都是一笔特别珍贵的财富，让你以后做选择的时候有很多秤砣，有很多衡量标准。
朱迅
茶取色臭俱佳，行家偏嫌味苦；香须冲淡为雅，幽人最忌烟浓。
陈继儒
我不是为眼睛做音乐，我是为耳朵做音乐。
I don't make music for eyes, I make music for ears.
亚瑟小子
人类的一切智慧都包含在这四个字里面：‘等待’和‘希望’。
大仲马
只要是亲生父母，除非你去犯罪，否则你干什么他们不支持你呢？
东野圭吾
大多数时候我们以为自己在思考，其实都是在对自身的行为和欲望进行合理化，这正是人类被称作“自我解释动物”的原因。
周岭
恐惧使我们丧失勇气去尽责任与捍卫荣誉，然而恐惧也会显出它最后的力量，使我们在它的驱使下，奋不顾身地显示出勇气。03如果不让大脑有事可做，有所制约，它就会在想象的旷野中驰骋，有时就会迷失方向。骚动的心灵产生的不是疯狂，就是梦幻。04我们总是对于错误的对象横加指责，对自己的错乱思维却从不深究。05世界上最大的事莫过于知道怎样将自己给自己。
蒙田
The dialogue between light and shadow creates architecture.
光与影的对话创造了建筑。
安藤忠雄
Never underestimate the power of a motivated team.
永远不要低估一个积极进取的团队的力量。
大卫·克拉克
别去打扰他，别一有什么都想和他分享，别满腔热血说完只剩下尴尬。
苏芩
朝中措系船沽酒碧帘访。洒满胜鹅黄。醉后西园入梦，东风柳色花香。水浮天处，夕阳如锦。恰似钟乡。中有忆人双泪，几时流到磺塘。
范成大
"The past is a ghost that refuses to leave."
过去是一个拒绝离去的幽灵。
赖因哈德·伊尔格
在这片贫瘠的土地上，每一粒种子都是生命的奇迹。
张大山
葳蕤苍梧凤，嘹唳白露蝉。羽翰本非匹，结交何独全。
陈子昂