"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人只有在落单的时候，才会记起亲情的可贵。
简川訸
To live remains an art which everyone must learn，and which no one can teach.
生活是一种人人须学而无人能教的艺术。
苏格拉底
尽管我们都是些普通人，无法改变我们国家的局面，但我们应该有一双分辨黑白的眼睛，有一颗能严肃思考我们国家命运的头脑……
路遥
如果按照目标去塑造生活，你也可以成为像你的榜样一样令人钦佩的人。
博多·舍费尔
因为人的生命有限，时间有限，所以就不要为别人而活了，更不要活在别人的观念里，只有你自己真实的想法和直觉才是最重要的。
史蒂夫·乔布斯
预测未来的最好方法，就是自己动手把它创造出来。
藤原和博
All I want to know is where I'm going to die, so I'll never go there.
我只想知道我将在哪里死去，这样我就永远不会去那里。
查理·芒格
女人的心就像一片深海，男人永远也探不到底。
纳撒尼尔·霍桑
我愿意给你当狗，你不要，你怕我反咬一口，结果我成了龙了。
郭德纲
在你孤独，悲伤的日子，请你悄悄地念一念我的名字。并且说：有人在思念我，在世间我活在一个人的心里。
普希金
输不是沮丧的原因，是新的刺激。
边伯贤
思考就是工具。
杜威
为了感受孤独，西方人就会上街去，但东方人就会进入到自然中去。
三木清
有一次，一位俄罗斯太空人与一位脑外科医生讨论Z教方面的问题。脑外科医生是个基D徒，那位太空人不是。太空人说：”我到过太空许多次，但却从来没有见过上帝或天使。’脑外科医生答道：‘我开过很多聪明的脑袋，也没有看过一个思想呀！“
乔斯坦·贾德
人生苦短，必须快乐。
Life's too short to be anything but happy.
波兹·马龙
感谢──这是债务；任何人都可以摆出自己的一些债务，但爱情──不是金钱。
屠格涅夫
The world is a book, and those who do not travel read only one page.
世界是一本书，不旅行的人只读了一页。
奥尔加·托卡尔丘克
当别人都不相信你时，你必须相信自己。
"You have to believe in yourself when no one else does."
诺瓦克·德约科维奇
人以谷为命，故平粜之际，不可不谨。
闻亦博