模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
爱，有时不能直白、不应张扬，它需要隐形，需要隐藏。
郑英
人生没有所谓的正确和错误，所有的正确和错误都是因为你在成长的过程中遇到的所有的事情，塑造了今天的你。
董宇辉
没有理性、秩序、正义；只有痛苦、死亡、贫穷。她知道，在这个世界上，无论什么卑鄙无耻的背信弃义行为，都会发生。她也知道，世界上没有持久不衰的幸福。
弗吉尼亚·伍尔芙
True happiness arises, in the first place, from the enjoyment of one's self, and in the next, from the friendship and conversation of a few select companions.
真正的幸福首先来自于自我享受，其次来自于与少数精选伙伴的友谊和交谈。
约瑟夫·艾迪生
对我来说，无畏并不意味着没有恐惧。不是完全不害怕。对我来说，无畏是有恐惧。无畏是有怀疑。有很多怀疑。对我来说，无畏是尽管有那些让你害怕得要死的事情，仍然生活下去。
"To me, fearless is not the absence of fear. It's not being completely unafraid. To me, fearless is having fears. Fearless is having doubts. Lots of them. To me, fearless is living in spite of those things that scare you to death."
泰勒·斯威夫特
罪恶的行为总有一天会被发现，虽然地上的泥土把它们遮掩。
莎士比亚
我不靠驾驭文字的本领，因为我没有这样的本领，我靠的是感情。
巴金
记忆是时间的回声。
佚名
乔布斯总是有意识地将自己置身于艺术与科技的交汇处。 如果你愿意跋山涉水去见一个导师的话，那么你身边就会出现一位。
沃尔特·艾萨克森
人生的意义永远在于拓展，而不在于固守，别管我今天是谁，我想成为一个更好的自己。
董卿
我有一剑，可斩日月星辰。
卖报小郎君
这办法决定后，老马兵以为二老不久必可回来的，就依然把马匹托营上人照料，在碧溪岨为翠翠作伴，把一个一个日子过下去。
沈从文
国家是所有冷血动物的集合。
罗伯特·穆齐尔
屏蔽外界噪音，让内在专注力成为你的超能力。
米哈里·契克森米哈赖
只要自己上进，不怕人家看轻。
谚语
传统观点一直认为发达国家和发展中国家的最大的差距是在于产业和技术结构的不同，却没有看到产业结构和技术结构的不同实际上是由要素禀赋结构的不同所引起的，一个国家发展的目标应该从怎样提升它的产业、产品和技术结构落实到怎样提升要素禀赋结构上去。
林毅夫
法官通常最初来自于父母的指责，孩子把这些指责内化为自己的法官。
约翰·贝曼博士
人的价值就像果子一样，随季节变化而有不同。
拉罗什富科
我这一生基本上只是辛苦工作，我可以说，我活了七十五岁，没有那一个月过的是舒服生活，就好象推一块石头上山，石头不停地滚下来又推上去。
歌德