"

模型检查是验证有限状态并发系统正确性的强大技术。

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： "Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
🏷️ 标签： 状态 正确 有限 强大 系统
💬 推荐名言 19句推荐
越是深入海底，海就越深。
塔勒布 塔勒布
被誉为“黑天鹅之父”
你可以一辈子不登山，但你心中一定要有座上。它使你总往高处爬，它使你总有个奋斗的方向，它使你任何一刻抬起头，都能看到自己的希望。
刘墉 刘墉
美籍华人作家
真的，钱向人一样有生命，会活动，会来来去去，会出汗，会生儿育女。
巴尔扎克 巴尔扎克
现代法国小说之父
以愉快的心情等候死亡，须知一切生物都由几种原质组成，死亡不过是那几种原质的解体而已。如果每一件东西不断地变成为另一件东西，其间并没有什么可怕，那么一个人对于一切事物之变动与解体又何需恐惧？
马可·奥勒留 马可·奥勒留
斯多葛哲学派的代表人物
要对自己诚实，尤其是对她；如果你感受到的不是爱情，就别让人家有期待，她是个好女孩。
马克·李维 马克·李维
法国著名作家
我不知道自己是谁，我在做什么事。
莫扎特 莫扎特
维也纳古典乐派代表人物之一
每个人都是一个小宇宙，蕴含着无限的可能。
亚历山大·索尔仁尼琴 亚历山大·索尔仁尼琴
获得1970年诺贝尔奖
真正的进步并非总是后来的东西。
亚历山德罗·曼佐尼 亚历山德罗·曼佐尼
意大利著名的作家和诗人
父母看似任由我闯荡，去按照自己的路走，其实他们的目光一直盯着我的背影。
撒贝宁 撒贝宁
著名主持人
我希望我的游戏能让玩家感受到内心的平静和治愈。
陈星汉 陈星汉
国际知名独立游戏制作人
我是一片荒芜的大地，而你是我最后的那朵蔷薇。
巴勃罗·聂鲁达 巴勃罗·聂鲁达
被誉为 "20世纪最伟大的诗人" 之一
生命开始于意识觉醒之时。
让-保尔·萨特 让-保尔·萨特
法国著名文学家、哲学家、社会活动者
一个人如果失去了祖国，也就失去了个人的一切。
苏霍姆林斯基 苏霍姆林斯基
苏联著名教育实践家和教育理论家
人在命运中。谁知今后事？今日有恩，明日死仇。这些人就这样行进在他们的人生途程上。
兰陵笑笑生 兰陵笑笑生
预测未来的最好方法就是创造未来。
艾伦·凯 艾伦·凯
面向对象编程的倡导者
当新冠大流行结束时，我们最需要的是全球团结。
张文宏 张文宏
国家传染病医学中心（上海）主任
争吵的原因绝不是表面上所看到的那样。
阿兰·德波顿 阿兰·德波顿
英国作家
黑漆漆的不知是日是夜。赵家的狗又叫起来了。狮子的凶心，兔子的怯弱，狐狸的狡猾。今天全没月光，我知道不妙。早上小心出门，赵贵翁的眼色便怪，似乎怕我，似乎想害我。还有七八个人，交头接耳的议论我，张着嘴，对我笑了一笑。我便从头直冷到脚根，晓得他们布置都已妥当了。我可不怕，仍旧走我的路。
马云 马云
《时代》全球100位最有影响力人物
最激励人的因素就是工作本身，如果工作有趣，激动人心，员工就会对工作充满期待，并渴望把它做好。
卡耐基 卡耐基
美国现代成人教育之父
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行