形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
A man lies the most when he lies to himself.
一个人对自己撒谎时撒谎最多。
弗兰兹·卡夫卡
子曰：朝闻道，夕死可矣。
孔子
风雨外，无多日。
苏轼
响雷雨不凶，闷雷下满坑。
谚语
迟做总比不做好。
张杰
对权贵的憎恨，就是下等人对上等人不由自主的敬畏。压迫是唯一不朽的哲学，只要这座邸宅的屋顶仍能遮住蓝天，这种恐惧和奴从就能使那班畜生屈从于我们的鞭子。
狄更斯
数学家是天生的，不是后天形成的。数学是为不同事物赋予相同名称的艺术。
亨利·庞加莱
对社会的奉献应该永无止境，从社会的获取只能适可而止。我努力这样做了，有了一些贡献，这就足够了。
陈俊武
爱拥有一种欲望，渴望将人尽可能提高。
尼采
终有一天人们富裕了，人反而没有生命力，觉得活得太累，这时的人便会去寻找生命的意义，会再回来看我的小说了。
残雪
如果操作过量，即使对市场的判断正确，仍会一败涂地。
乔治·索罗斯
所以，只要有机会，培根就会把线索弄论，让那些想要将他的作品意义化约为刻板悲观主义的专家们摸不着头绪——他厌恶以“恐惧”这个字眼谈论他的艺术；他强调“偶然”在他画作中扮演的⾓⾊（画画时出现的偶然；⼀滴颜料意外地落在画布上，⼀下⼦改变了这幅画的主题）；所有⼈都赞叹他画作严肃性的时候，他坚持“游戏”这个字眼。想谈论他的绝望？也可以，但是，他⽴刻告诉你，他的绝望是⼀种“快乐的绝望”。
米兰·昆德拉
法律是最低限度的道德。
罗翔
世上只有一种真正的英雄主义，那就是认清生活的真相后依然热爱生活。
罗曼·罗兰
你给予的越多，你得到的就越多。
The more you give, the more you get.
马克·维克多·汉森
人的思想和心灵中，出生之地特有的色彩无法抹去，就如同说话中带有家乡口音一样。
拉罗什富科
有攻击性的狗不会叫，但会咬人。
凯文·凯利
夜的原野，风雪呼啸，白桦和云杉身子东倒西晃，昏昏欲眠。月亮从彤云的缝隙中俯视着原野，苍白的月影时隐时现——在这夜阑人静的时刻，我想冬之神正踯躅在白桦之间。
蒲宁
War is not a profession but an experience.
战争是一种精神现象。
亨利·基辛格