"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我不喜欢以给贴纸或贿赂的方式来教养孩子，因为那比较像在评判行为，而不是在培养关系。孩子从那种方式中学不到抗挫折能力，学不到灵活应变的能力，学不到解决问题的能力，也学不到如何为他人着想。以贴纸来奖励行为是一种操纵伎俩，如果我们这样操纵孩子，将来他学会操纵我们与其他人时，你可不要抱怨孩子为什么会这样。家长应该学习理解孩子，而不是以操纵的方式让孩子想要收集星星贴纸。
菲利帕·佩里
具有影像素养的人，拥有三种能力：理解影像，阐释影像，创造影像。未来走出校门的人，需要具备两大本领：读懂别人的影像，创造自己的影像。
李政涛
能于热地思冷，则一世不受凄凉；能于淡处求浓，则终身不落枯槁。
陈继儒
散乱的心也是心，就像浪花也还是水一样。
一行禅师
于谦在我心里，就是一完人这人完了。
郭德纲
女人不会生孩子是个短处，但曹满仓的老婆自己不当短处，别人也无可奈何。
刘震云
颂其诗，读其书，不知其人可乎？是以论其世也。
孟子
宁为玉碎不为瓦全。
冯玉祥
什么叫做“内在有力量？”就是遇到困难，碰上痛苦时，能够坦然与自己负面情绪相处。
张德芬
两个灵魂的相遇就像两种化学物质的接触：一丁点的反应就会彻底改变它们。
荣格
这星天，这大山，不管戴着多少光环的人同样被遮蔽在大自然的雄伟里。大山还在，从大山上看到的星空还在，想到这里，我感到喜悦，一种永恒的感觉模模糊糊地爬遍全身。
余秀华
当遇到一个新的情境时，总会想起自己或是朋友、家人等过去发生的事；面对着这些复杂的情境，也总能脱口说出生动形象的词汇。上述这些都明确表示，思维就像强劲有力的引擎，为的就是寻找一个个具体事物之间深藏的联系，也就是指发现或创造抽象。
道格拉斯·理查·郝夫斯台特
我是一个中国人，也不会刻意去打扮，去脱衣，这要看我是否喜欢并且适合的角色。我觉得自己其实是很中国化的，民族的才是世界的，我没有必要去迎合什么，只是做我自己就好。而这也是我认为的优势与空间。
刘亦菲
一两重的真诚等于一吨重的聪明。
大仲马
风险管理不是关于避免风险，而是关于理解和管理风险。
"Risk management is not about avoiding risk, but about understanding and managing it."
詹姆斯·西蒙斯
每支股票背后都是一家公司，去了解这家公司在干什么。
彼得·林奇
最好的领导者是那些能够授权他人领导的人。
The best leaders are those who empower others to lead.
丰田章男
秘密和拥有秘密的人都是独一无二的。在家庭生活中，在保守或公开秘密这件事上，没有“放之四海而皆准”的通用方法，尊重个人隐私，适时沟通和保持尊重。
伊莱恩·卡尼·吉布森
我们所认为的真理，往往只是我们所见的表象。真正的智慧，在于认识到我们所知的有限性。
色洛芬尼