"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
有的人本来很幸福，看起来却很烦恼；有的人本来该烦恼，看起来却很幸福。
史铁生
当拉里和谢尔盖一开始都不确定是否要创办一家公司时，你怎么知道自己是否有足够的决心呢？我在这里猜测，但我会说测试的方法是你是否有足够的动力去独自进行项目开发。尽管他们可能不确定是否想创办一家公司，但拉里和谢尔盖似乎并不是顺从地做他们导师吩咐的温顺小研究助手。他们启动了自己的项目。
保罗·格雷厄姆
最终，我们只会后悔没有抓住的机会。
In the end, we only regret the chances we didn't take.
史蒂夫·汉密尔顿
过多的“空闲”，有时会带来负面影响，“适当忙碌”的状态反而更好。
中村恒子
我们几乎所有关于未来的思考、计划、目标设定以及担心，其默认前提就是假设时间是我们能够占有或者控制的东西；时间不是我们的所有物，也无法被我们掌控。
奥利弗·伯克曼
企业如果不能做强，宁可不要做大，大而不强是很危险的。
宋志平
凡为外所胜者皆内不足，凡为邪所夺者皆正不足。
弘一法师
在教育中，想要孩子接受什么，就去诱惑他；想要他排斥什么，就去强迫他。
尹建莉
Security is not a product, but a process.
安全不是产品，而是一个过程。
马丁·赫尔曼
从我们心中夺走对美的爱,也就夺走了生活全部魅力
卢梭
在计算机周围，很难找到正确的时间单位来衡量进度。一些大教堂花了一个世纪完成。您能想象一个程序需要花费这么长时间吗？
Around computers it is difficult to find the correct unit of time to measure progress. Some cathedrals took a century to complete. Can you imagine the grandeur and scope of a program that would take as long?
艾伦·佩利
峥嵘过去已经彪炳史册，璀璨当下正在不断延伸，光明未来需要踏实开拓。
央视金句
时间不会治愈所有伤口；有些伤口会留下，成为我们的一部分。
Time does not heal all wounds; some remain, becoming part of us.
约恩·福瑟
一辈子只做自己喜欢做的事并把它做好，就会取得与别人不一样的好成绩。
刘震云
Art is the closest I have ever come to prayer.
爱德华多·纳兰霍
阿富汗人尊重风俗，却讨厌规则。斗风筝也是这样。规则很简单: 放起你的风筝，割断对手的线，祝你好运。
卡勒德·胡赛尼
学无止境。
荀子
You have to understand the local context to operate successfully in global markets.
你必须了解当地情况才能在全球市场上成功运营。
伊凡·格拉森伯格
可是那力量，那骑着彗星尾巴来到这个世上的豹子，那个在炎热的八月的一天里寻找罗斯曼桥的沙曼人，还有那个站在一辆名叫哈里的卡车踏板上回头望着她在一个衣阿华农场的小巷的尘土中逝去的人，他在哪里呢？在这些词句中能找到吗？
罗伯特·詹姆斯·沃勒