形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
坚持自己做的事情就可以了，时间会告诉你你的选择正确与否。
金星
The most important relationship is the one you have with yourself.
最重要的关系是你与自己的关系。
艾丽西亚·凯斯
有“温度”的课堂是师生动情的课堂，有“温度”的课堂是学生积极参与的课堂。
刘畅
要是有人拿走不属于他的东西，一条性命也好，一块馕饼也好，我都会唾弃他。
卡勒德·胡赛尼
没有子女的人感到房子空，没有好。
王尔德
这两天，人都气笨了，后脑里像棉花裹的鼓槌在打布蒙的鼓，模糊地沉重，一下一下的跳痛。
钱钟书
只有你自己真正渴望学习，别人才能帮得了你。
博多·舍费尔
创新是企业发展的动力源泉，只有不断创新，才能在激烈的市场竞争中立于不败之地。
冯仑
把工作做好的自豪感是非常有建设性的。它能够激发年轻时的斗志，当老年时，你回想起来也会感到更加快乐。
查理·芒格
不要试图让别人喜欢你；尝试让他们尊敬你。
Don’t aim to have others like you； aim to have them respect you.
凯文·凯利
生命像流水，这些不快的事总要过去，如果注定一辈子要这么过，再不开心也没有用。
舒婷
重养自己，是在平凡日子里，为自己种下希望与美好的种子。
梁爽
想改变伴侣、改变孩子是没有可能，除非你做一些事情，让他们有感觉，然后自己想去改变。
李中莹
独裁统治滋生糟糕的文学，因为它们滋生恐惧和顺从。
Dictatorships breed bad literature because they breed fear and conformity.
马里奥·巴尔加斯·略萨
善与恶，男与女，圣洁与邪恶，彼此交织，纯洁中包含着深深的罪孽。
赫尔曼·黑塞
每个人都有成功的机会，首先你要研究跟别人不一样的地方，要有创新的精神。更重要的是要有执着的精神，要不怕失败，要千锤百炼、百折不挠。
王健林
人格的混乱和缺失，是造成神经症的原因。……只有不断饱受内心冲突煎熬的人，才会得精神疾病，那些内心安定、思想冷静的人是肯定不会有这种问题的。
卡伦·霍妮
任何关系走到最后，不过是相识一场。有心者必有所累，无心者亦无所谓。情出自愿，不谈亏欠。
弘一法师
当我接受自己本来的样子时，我就能改变。
When I accept myself as I am, then I can change.
卡尔·罗杰斯