模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人类的理解力就像一张白纸，经验在上面留下了痕迹。
约翰·洛克名人名言哲理格言警句语录 约翰·洛克
教育不是填满水桶，而是点燃火焰。
塔拉·韦斯特弗名人名言哲理格言警句语录 塔拉·韦斯特弗
没有人能够伤害到你，除非是你自己愿意受到伤害。
金融帝国名人名言哲理格言警句语录 金融帝国
苹果公司对施乐PARC的这次技术盗窃，有时被形容为工业史上最严重的抢劫行为之一。乔布斯偶尔也会 骄傲地承认这一说法。“归根结底，我们只是想尽量了解有史以来最棒的发明，然后将它运用到我们正在做的事情当中。”他有一次说，“毕加索不是说过么：‘好的艺术家只是照抄，而伟大的艺术家窃取灵感。’在窃取伟大的灵感这方面， 我们一直都是厚颜无耻的。”
沃尔特·艾萨克森名人名言哲理格言警句语录 沃尔特·艾萨克森
乔布斯生性就喜欢误导人，或者有时候故作神秘，只要他觉得有理由。而另一方面，他有时也会诚实得近乎残忍，讲出那些我们大多会粉饰或隐瞒的事实。撒谎和实话实说都只是他那尼采式的人生态度的两个侧面。一般规律对他不适用。
沃尔特·艾萨克森名人名言哲理格言警句语录 沃尔特·艾萨克森
我需要天空一片被微风冲淡的蓝色让诗句渐渐散开。
顾城名人名言哲理格言警句语录 顾城
拿到感觉，就已经解决了很大的问题了。
李中莹名人名言哲理格言警句语录 李中莹
迈出第一步，才知道第二步怎么走。
霍达名人名言哲理格言警句语录 霍达
你可能认为另一边的草更绿。但如果你花时间给自己的草浇水，它也会一样绿。
亨利·福特名人名言哲理格言警句语录 亨利·福特
江山如有得，山木更无私。
杜甫名人名言哲理格言警句语录 杜甫
当你开始做（原来认为）不够格的事情时，你就会成长。
史蒂文·巴特利特名人名言哲理格言警句语录 史蒂文·巴特利特
Words and actions should be consistent; honesty is the best expression of faith.
言行应当一致，正直是信仰的最佳表达。
西塞罗名人名言哲理格言警句语录 西塞罗
股市极大地分散了投资业务的注意力。
约翰·博格尔名人名言哲理格言警句语录 约翰·博格尔
在一个充满仇恨的世界，我们仍然要满怀希望；在一个充满绝望的世界，我们仍然要敢于梦想。
迈克尔·杰克逊名人名言哲理格言警句语录 迈克尔·杰克逊
Every advance in knowledge opens up new questions and new difficulties.
知识的每一次进步都会带来新的问题和新的困难。
乔治·西蒙·欧姆名人名言哲理格言警句语录 乔治·西蒙·欧姆
品牌和营销同时诞生。
小马宋名人名言哲理格言警句语录 小马宋
听从命运之人，将不再有榜样和理想，没有爱，也不得安慰！但这才是人该走的路。你我这样的人注定孤独。但我们拥有彼此，有秘密的方式作为补偿，去另辟蹊径，去反抗，去追求不凡。但是，要走上命运之路，就必须连这些也放弃，就不会成为革命者，成为榜样和殉道者。走上命运之路，超乎想象。
赫尔曼·黑塞名人名言哲理格言警句语录 赫尔曼·黑塞
我们爱名誉并不是为名誉，可以说完全是为了它所带来的利益。
爱尔维修名人名言哲理格言警句语录 爱尔维修
如果生活能够在我们面前壮丽地展开，如果我们还年轻的眼睛可以浏览这些走廊、细查这座旅馆的大厅和房间，那座未来的悲剧和等待着我们的惩罚的舞台，我们和我们的朋友，我们所有人都将颤抖着倒退！
波德莱尔名人名言哲理格言警句语录 波德莱尔