"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
猪想发福人想红。
大张伟
好问不迷路，好做不受贫。
谚语
我要是在这是盲目热情并固执地想“无论如何都要去做”，只能说明我是个笨蛋。我讨厌笨蛋。大逆转只会出现在漫画或市场行情中——虽然我们在做的是漫画电影，但这里是现实中。
今敏
下棋、种花、养金鱼，都不必花太多钱，买一些让自己悦目的日常生活用品，也不会太破费，绝对不是玩物丧志，而是玩物养志。
蔡澜
世上最可贵的是时间，世上最奢靡的是挥霍时光。
莫扎特
Every song is a piece of my soul.
每一首歌都是我灵魂的一部分。
宇多田光
消防员不是生来就是英雄，只是在危难时刻选择了担当。
杨科璋
真正成功人士因为知道失败永远在虎视眈眈，故很好洋洋自得。
亦舒
如果都由一个大得远非一般人所能测度或理解的组织去独揽一切权力和作出大多数重要决定，我们将丝毫不能维护和培育民主。对此，如果我们能够创造一个适合于小国生存的世界，那对我们大家都会更有好处。
哈耶克
真正的诗人是全知的；他是一个微缩的真实世界。
The true poet is all-knowing; he is an actual world in miniature.
海涅
我是蛮希望能够专心一志地做好唱片的工作，但是我有发觉现在的艺人要多元化的，要多方面发展。
容祖儿
读书不好贪多，而是要多加思索，这样的读书使我获益不少。
卢梭
虽然经历了岁月的洗礼，但真挚的感悟没有磨灭。生命是短暂的，而爱情是永恒的。有一个可以思念的人，就是幸福。
岩井俊二
Leadership is about inspiring others to achieve what they once thought was impossible.
领导力是激励他人实现他们曾经认为不可能的事情。
凯文·雷西
成功的关键是专注于目标，而不是障碍。
The key to success is to focus on goals, not obstacles.
唐纳德·布伦
创业家是不追求7%确定回报，只冒险追求100%回报的人。
马克·安德森
每个人都有一不的理想，这种理想决定着他的努力判断的方向。就在这个意义上，我从来不把安逸和享乐看作是生活目的的本身----这种基础，我叫它猪栏的理想。照亮我的道路，并且不断地给我新的勇气去愉快地正视生活的理想，是善、美、真。
爱因斯坦
战争的硝烟，掩盖不了人性的光辉。
米哈依尔·肖洛霍夫
吉本拉特先生由于此刻的寂静，由于此刻充满奇特痛苦的思想，正犹豫地、不知所措地向着他那习以为常的生命的下坡路走去。
赫尔曼·黑塞