"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
非我族类，其心必异。
左丘明
Only if we understand, can we care. Only if we care, will we help. Only if we help, shall all be saved.
唯有理解，才能关心；唯有关心，才能帮助；唯有帮助，一切才能得救。
珍·古道尔
你每次都是这样，一旦有人做一些你没做过的事，你就忙不迭地说那是不可能做到的。
蕾秋·乔伊斯
如果我们的动力是钱的话，我们老早就卖掉公司了，当然那样我们也终究会被后浪拍在沙滩上。
If we were motivated by money, we would have sold the company a long time ago and ended up on a beach.
拉里·佩奇
生命是一场盛大的舞会，我们在舞台上尽情舞蹈，然后优雅地离开。
房琪
只有不断学习，才能跟上时代的步伐。
刘强东
努力是没有用的，只有确定了方向、目标、理想的情况下努力才有用。
蔡志忠
自责之外无胜人之处，自强之外无上人之术。
弘一法师
Escribir es una forma de terapia; a veces me pregunto cómo se las arreglan los que no escriben, los que no componen música o no pintan.
写作是一种治疗方式；有时我想知道那些不写作、不作曲或不画画的人是如何应对的。
何塞·埃米利奥·帕切科
春夜小窗兀坐，月上木兰有骨，凌冰怀人如玉。因想“雪满山中高士卧，月明林下美人来”，语此际光景颇似。
陈继儒
The future belongs to those who believe in the beauty of their dreams.
未来属于那些相信自己梦想之美的人。
小林诚
Psychology must be a science of life, not just of the laboratory.
心理学必须是一门关于生活的科学，而不仅仅是实验室的科学。
马克斯·维斯塔潘
抓住时机并快速决策是现代企业成功的关键。美国斯坦福大学教授艾森哈特明天人之际，通古今之变。
司马迁
人淳，工不苟。
沈括
赢的方法就是工作、工作、工作、工作，并希望能够形成一些洞见，而你可能不会聪明到一辈子能找到几千个标的。当你有了几个，真的就足够了。就这么简单。
查理·芒格
真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。
"The real voyage of discovery consists not in seeking new landscapes, but in having new eyes."
让-保罗·迪布瓦
我不害怕与众不同。
I’m not afraid to be different.
德雷克
埋下一些美好的种子，只为心安；许下一些美好的愿望，等待继续。
林徽因
拼多多的目标是让最普通的人也能享受到最好的商品和服务。
黄峥