"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
世界上充满了显而易见的事情，但没有人会去注意它们。
"The world is full of obvious things which nobody by any chance ever observes."
尼古拉·马修
在数字化时代，银行必须重新定义客户体验。
陈四清
希望大家都能拿出“衣带渐宽终不悔”的精神来从事做学问或干事业，这是成功的必由之路。
季羡林
​在宇宙中，你再快都有比你更快的，你再慢也有比你更慢的。
刘慈欣
真正的领导者不是追求权力的人，而是赋予他人权力的人。
佚名
我去好莱坞十年拍了五部电影，成不成功，我却不敢说，不敢说没有什么压力，但是，Itakemybest，Ivenoregrets！(我已尽力，决不后悔！)。2004年8月，周润发在出席香港理工大学会考放榜讲座时，对着台下上千名学生和家长发表演讲，回顾自己十年来的好莱坞经历，周润发感慨良多，对于外界对他年龄和能力的质疑，周润发说自己心态很平和，他说有些东西只能是随缘。
周润发
康德早已指出过，学习地理是教儿童学习的一种最适宜的作业，因为地理的联想首先是建立在地点的联系上的。
乌申斯基
孤独的树，如果它们在生长，就会变得强壮。
丘吉尔
伯恩斯博士研发的“双重标准”法。该方法基于这样一个观点：解释压力事件时，我们常常采用双重标准，对自己较为苛刻，对朋友则相对宽容。
格雷格·D.贾克布
爱在左，同情在右，走在生命路的两旁，随时播种，随时开花，将这一径长途点缀得香花弥漫，使穿枝拂叶的人，踏着荆棘，不觉得痛苦；有泪可落也不是悲哀。
冰心
医学的真正目标是预防而不是治疗。
威廉·奥斯勒
对他来说，忍受别人的病痛要比忍受自己的容易得多。
加西亚·马尔克斯
恐惧的主要原因是惊奇，摆脱它的最好办法是临事先思考，并使自己对所有不测事件(惊奇是由对它们的害怕引起的)有所准备。
笛卡尔
散乱的心也是心，就像浪花也还是水一样。
一行禅师
人的美并不在于外貌、衣服和发式，而在于他的本身，在于他的心。要是人没有心灵的美，我们常常会厌恶他漂亮的外表。
奥斯特洛夫斯基
有一个神，是众神和人类中最伟大的，无论在身体还是思想上都与凡人毫无相似之处。
There is one god, greatest among gods and men, in no way similar to mortals either in body or in thought.
色洛芬尼
我们不应该忘记自己走过的路，同期过的人，呼唤过的正义，渴求过的尊重，是这些东西构成了我们深植于生活世界的共通意义的根基。
陈行甲
当你有一个好收成时，农民高兴，他的妻子高兴，孩子们高兴，动物们高兴，土地也高兴。
When you have a good crop, the farmer is happy, his wife is happy, the children are happy, the animals are happy, and the land is happy.
诺曼·博洛格
王侯将相宁有种乎？
司马迁