"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
风霜催腊尽，梅柳得春先。
于谦
I love the world of movies. I love the world of storytelling.
我热爱电影的世界。我热爱讲故事的世界。
罗伯特·奥特曼
人生一世不就是为了化短暂的事物为永久的吗？要做到这一步，就须懂得如何珍视这短暂和永久。
歌德
大学毕业生不当以钱为目的，要当以服务为主旨。
竺可桢
许多年过去了，人们说陈年旧事可以被埋葬，然而我终于明白这是错的。因为往事会自己爬上来。
卡勒德·胡赛尼
世界上没有傻子。今天你可以剥夺别人的利益，明天也可以继续剥夺，但后天你将得到一颗苦瓜。
牛根生
岁月总会在一个人的头上加上一层使人仰慕的清辉。
雨果
如果老拿自己的不幸说事，要不了多长时间，人们就会厌烦，人们不会喜欢总是摆出一副可怜相的人。
毛姆
心理学必须避免一切形式的心灵主义。
Psychology must avoid all forms of mentalism.
爱德华·铁钦纳
求木之长者，必固其根本；欲流之远者，必浚其泉源；思国之安者，必积其德义。
魏征
我不知道这种忐忑不安的日子持续了多久。你的已经去世的父亲有一次对我们说，金钱是能够用分或者比索计算的，时间却不能用日子计算，因为比索都是一样的，而每一天甚至每一小时都各不相同。他说的话我当时不太懂，但是一向铭记在心。
博尔赫斯
把活着的每一天看作生命的最后一天。
海伦·凯勒
青少年不太懂事，不要误导他们。我是坏事干绝了的人，但是我现在要走向一个高尚的人。我未必一下做到，但是我会努力做到，我希望最后成为一个正面的形象。
王朔
Sustainability isn't just a buzzword—it's the lifeline of our oceans and the future of our industry.
可持续性不仅仅是一个流行词，它是我们海洋的生命线，也是我们行业的未来。
艾玛·格林
我们这一代人的巨大不幸是，自然科学令人称奇的进步所导致的对支配的兴趣，并没有帮助我们理解这个我们只是其中一部分的更大过程，或使我们认识到在不支配这个过程也不服从别人命令的情况下，我们如何不断地为共同的努力做着贡献。
哈耶克
懒惰行走的那么慢，以至贫穷很快就赶上了他。
富兰克林
就像接受过多新闻会产生问题一样，过多信息有害无益——每日接受过多的新闻和摄入过多的糖都会让系统紊乱。
塔勒布
Nobody realizes that some people expend tremendous energy merely to be normal.
谁也没有意识到，有些人耗费了极大的精力，仅仅只为了成为普通人。
加缪
我的归宿就是健康与才干，一个人终究可以信赖的，不过是他自己，能够为他扬眉吐气的也是他自己，我要什么归宿?我已找回我自己，我就是我的归宿。
亦舒