"

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： 模型检查是验证有限状态并发系统正确性的强大技术。
💬 推荐名言 20句推荐
去其智，绝其能，下不能意。
韩非子 韩非子
战国末期哲学家
任何一种有永恒时空存在的系统，都会让人类可以主动选择自己的未来。人类总会选择最安全、最中庸的道路前进，群星就会变成遥不可及的幻梦。
艾萨克·阿西莫夫 艾萨克·阿西莫夫
美国科幻小说黄金时代的代表人物之一
太阳，它每时每刻都是夕阳也都是旭日。当它熄灭着走下山去收尽苍凉残照之际，正是它在另一面燃烧着爬上山巅布散烈烈朝辉之时。
史铁生 史铁生
新时期中国最优秀的作家之一
所谓共情能力，即设身处地地站在对方的角度感其所感，想其所想的能力，这是人际关系中最关键的能力。
武志红 武志红
北京大学临床心理学专业硕士
生命像流水，这些不快的事总要过去，如果注定一辈子要这么过，再不开心也没有用。
舒婷 舒婷
朦胧诗派代表人物
城市是一个巨大的漩涡，它吞噬着人的梦想和青春。
李佩甫 李佩甫
当代著名作家，茅盾文学奖得主
Smallholder farmers are the backbone of global agriculture; empowering them is our collective responsibility.
罗伯托·罗德里格斯 罗伯托·罗德里格斯
推动巴西农业现代化
让我首先说：有冲突并非神经症……我们内心的冲突是人类生活不可分割的一部分。
卡伦·霍妮 卡伦·霍妮
新弗洛伊德主义的主要代表人物
You must take personal responsibility. You cannot change the circumstances, the seasons, or the wind, but you can change yourself. That is something you have charge of.
杰克·坎菲尔德 杰克·坎菲尔德
畅销书《心灵鸡汤》系列书籍的联合创始人
生活没有目标，犹如航海没有罗盘。
罗斯福 罗斯福
美国历史上首位连任四届的总统
The production of motion in steam-engines is always accompanied by a circumstance on which we should fix our attention. This circumstance is the re-establishing of equilibrium in the caloric.
尼古拉·卡诺 尼古拉·卡诺
提出卡诺定理，奠定热力学第二定律基础
对望中天地，洞然如刷。
史达祖 史达祖
南宋婉约派重要词人
女人坚持自己的权利已不是多么困难；但她们还没有完全克服由来已久的、把她们隔绝于女性气质的性别限制。例如，有清醒的头脑是她们应当引以自豪的胜利，但她们仅仅满足于此又未免有点太快了。实际上，传统女人是个有意受骗的人，并且是个进行欺骗的人；她试图对自己隐瞒自己的依附性，而这是她赞同依附性的一种方式。
波伏娃 波伏娃
女权运动的创始人之一
真诚的爱情的结合是一切结合中最纯洁的。
司汤达 司汤达
法国批判现实主义作家
伤口是光进入你内心的地方。
玛丽·克莱尔·克莱因 玛丽·克莱尔·克莱因
儿童文学杰出代表
人类最后的不可替代性：无目的的探索。
罗振宇 罗振宇
“得到app”创始人
世上没有一个女人，不喜欢别人说她年轻的，尤其是三四十岁的半老徐娘，更恨不得别人都说她只有十八。
古龙 古龙
中国武侠小说四大宗师之一
爱情也跟自然界一样，有枯萎的时候与发芽的时候，但是决不会死亡。
梵高 梵高
立志是读书人最要紧的一件事。
孙中山 孙中山
中国民主革命的伟大先驱
教育不应当是知识的简单传递，而是启发人类独立思考的能力。
霍克海默 霍克海默
法兰克福学派的创始人
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行