模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
有一种现象被称为跑步机效应：为了停留在同一个地方，你需要赚越来越多的钱。贪婪是具有反脆弱性的，但贪婪的受害者则不然。
塔勒布名人名言哲理格言警句语录 塔勒布
风笙龙管，蜀锦齐纨。
陈继儒名人名言哲理格言警句语录 陈继儒
为了追踪训练计划和情绪变化，我保留了一份详细的训练日记。在参加伦敦马拉松比赛之前，我可以回顾过去，了解去年的感受，这对我的训练很有帮助。从过去13年中，我一直记录着训练日记。
埃鲁德·基普乔格名人名言哲理格言警句语录 埃鲁德·基普乔格
学者须是立志，今日所以悠悠者，只是把学问不曾做一件事看，遇事则胡乱恁的打过了，此只是志不立。
朱熹名人名言哲理格言警句语录 朱熹
他们不是疯子。他们接受的教育是信仰，而不是知识。信仰可以操纵，只有知识才是危险的。
弗兰克·赫伯特名人名言哲理格言警句语录 弗兰克·赫伯特
我不想成为一棵树，我想成为它的意义。
I don’t want to be a tree; I want to be its meaning.
伊莎贝尔·阿连德名人名言哲理格言警句语录 伊莎贝尔·阿连德
以前我以为，那些带给别人欢笑的人，从来不会有哀伤。现在我才知道，有些人在最难过的时候，还是会努力带给别人快乐。
几米名人名言哲理格言警句语录 几米
恨只能产生更多的仇恨。
王鼎钧名人名言哲理格言警句语录 王鼎钧
无原则地拥抱感官是诗人唯一的原则。
济慈名人名言哲理格言警句语录 济慈
处事最当如水之静，待物最宜似衡之平。
洪应明名人名言哲理格言警句语录 洪应明
不要去定义完美，不要去追求完美，完美让自己变得狭隘，你不必完美，正如我从来不完美，接纳自己不完美。
董宇辉名人名言哲理格言警句语录 董宇辉
The evening is the time of day I like best. I love the transition from day to night, the way the light changes, the way the air feels.
傍晚是我一天中最喜欢的时光。我喜欢从白天到夜晚的过渡，光线的变化，空气的感觉。
石黑一雄名人名言哲理格言警句语录 石黑一雄
最能施惠于朋友的，往往不是金钱或一切物质上的接济，而是那些亲切的态度，欢悦的谈话，同情的流露和纯真的赞美。
富兰克林名人名言哲理格言警句语录 富兰克林
我们整天忙忙碌碌，像一群群没有灵魂的苍蝇，喧闹着，躁动着，听不到灵魂深处的声音。时光流逝，童年远去，我们渐渐长大，岁月带走了许许多多的回忆，也消蚀了心底曾今拥有的那份童稚的纯真，我们不顾心灵桎梏，沉溺于人世浮华，专注于利益法则，我们把自己弄丢了。
安托万·德·圣-埃克苏佩里名人名言哲理格言警句语录 安托万·德·圣-埃克苏佩里
曹操身材短小，估计也就和我差不多吧。跟１米８４的诸葛亮比起来，只能算是不合格的残次品。
易中天名人名言哲理格言警句语录 易中天
The most successful companies are the ones that stay true to their values.
最成功的公司是那些坚持自己价值观的公司。
加里·埃里克森名人名言哲理格言警句语录 加里·埃里克森
身居闹市而自辟宁静，固守自我而品尝尘嚣，无异众生而回归一己，保持高贵而融入人潮。
余秋雨名人名言哲理格言警句语录 余秋雨
We have always found the Irish a bit odd. They refuse to be English.
丘吉尔名人名言哲理格言警句语录 丘吉尔
历史是一个画廊，里面原作很少，复制品很多。
阿历克西·德·托克维尔名人名言哲理格言警句语录 阿历克西·德·托克维尔