形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
凡与人交，须要真诚，不可虚伪。
曾国藩
对于一个病人来说，仁爱、温和、兄弟般的同情，有时甚至比药物更灵。
陀思妥耶夫斯基
I'm not a businessman; I'm a business, man.
我不是商人；我就是生意，伙计。
李尔·韦恩
Humans like rivers： as soon as the wood gash on the wave， wave and flow to go immediately.
人类就像江河一样：木杖刚把波浪划开，波浪又立刻流到一起去了。
歌德
人情物理不悉，便是学问不透。
张居正
不必在意一日的长短只要你在这段时间内有著多采多姿的生活，你将发现，有一百个口袋可以填装他们。
尼采
你的梦想是有效的，追逐它们。
Your dreams are valid, chase them.
宇多田光
即如天下有闲事，有人管闲事之类。我现在觉得世上是仿佛没有所谓闲事的，有人来管，便都和自己有点关系；即便是爱人类，也因为自己是人。假使我们知道了火星里张龙和赵虎打架，便即大有作为，请酒开会，维持张龙，或否认赵虎，那自然是颇近于管闲事了。然而火星上事，既然能够“知道”，则至少必须已经可以通信，关系也密切起来，算不得闲事了。因为既能通信，也许将来就能交通，他们终于会在我们的头顶上打架。至于咱们地球之上，即无论那一处，事事都和我们相关，然而竟不管者，或因不知道，或因管不着，非以其“闲”也。
鲁迅
某些人的虚伪程度高到了匪夷所思的地步，他们的嘴唇总是在说谎，而脸上却挂着虚假的微笑。
王尔德
文明的进步往往伴随着奢华与堕落，而这些正是削弱民族精神、导致衰亡的隐秘毒药。
爱德华·吉本
真正开悟的人，可以同时具备“出世的智慧”和“入世的手段”。这样的人可以独处，也能跟人共事，而且做事游刃有余。
水木然
税收不仅是政府收入的来源，更是调节经济和社会公平的重要工具。
张馨
要努力到神灵出手相助的地步。
稻盛和夫
沉思就是劳动，思考就是行动。
雨果
银行的核心竞争力在于风险管理能力，风险控制是银行的生命线。
谷澍
大海的水，是不能温热的，孤傲的心，是不能软化的。
冰心
思念是一杯有毒的美酒，入喉甘美，销魂蚀骨，直到入心入肺，便再也无药可解，毒发时撕心裂肺，只有心上人的笑容可解，陪伴可解，若是不得，便只余刻骨相思，至死不休。
桐华
一个自诩从不改变观点的人，是一个永远走直线的大傻瓜。
巴尔扎克
“精进”，就是拼命努力、心无旁骛、埋头眼前的工作。这是提高心性、磨炼人格最重要、最有效的方法。
稻盛和夫