"

The challenge in model checking is not just to find errors, but to understand why they occur.

埃德蒙·克拉克 埃德蒙·克拉克
💡 解读： 模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
💬 推荐名言 19句推荐
哭往哭来，反从事乎衣食之财，佴乎祭祀，以至孝于亲。
墨子 墨子
墨家学派创始人
习俗并不等于道德。自以为是并不等于宗教。攻击前者并不等于攻击后者。
夏洛蒂·勃朗特 夏洛蒂·勃朗特
长篇小说《简·爱》的作者
曾被买糖君子哄，至今不信口甜人。
吴承恩 吴承恩
《西游记》作者
The future of mobility is not just about the car itself, but about the entire ecosystem around it.
李斌 李斌
易车公司创始人
舰长会变得心情开朗，路易莎会努力成为司各特和拜伦勋爵的崇拜者。不，她也许已经做到了。他们当然都爱上了诗歌。一想到路易莎将变成喜欢文学和善于伤感的人，真是有趣。不过，安妮相信情况确已如此。在莱姆的那一天，在科布摔的那一跤，可能会影响路易莎一生的健康、精神、勇气和性格，就像目前似乎已经影响了她的命运一般。
简·奥斯汀 简·奥斯汀
《傲慢与偏见》作者
微信的初心是连接人与人。
张小龙 张小龙
微信创始人，中国社交平台领军人物
中国的政治体制改革必须立足于国情，不能盲目照搬西方模式。
景跃进 景跃进
政治学理论研究专家
若能用金钱换取自己的注意力那就是合理的交易，注意力的价值越久越珍贵。
李笑来 李笑来
网络红人
我不迎接竞争，我摧毁竞争者。
约翰·洛克菲勒 约翰·洛克菲勒
被人称为“石油大王”
创新要敢于打破常规，但也要尊重商业本质。
张勇 张勇
海底捞创始人
过去，因为已经是过去，只能在曾有弹性的地方保有如今的韧性。
珍妮特·温特森 珍妮特·温特森
英国女作家
认真还自在，作假费功夫。
周希陶 周希陶
清代文学家
榜样的力量是无穷的。
毛泽东 毛泽东
伟大的无产阶级革命家
凡是常常被推翻的东西，就是不成熟的。
曾仕强 曾仕强
中国式管理之父
一切事物在刚开始时都是不舒服的，但如果你坚持下去，最后就会穿越不舒服的区域，达到成功。从现在开始，每当你感觉不舒服了，不要退回你原来的舒服区，反而要为自己加油，说：“我现在一定是在成长。”然后继续往前进。
哈维·艾克 哈维·艾克
世界顶级商业教练
最伤人的话往往出自于最美丽的嘴。
辛夷坞 辛夷坞
我一看到他把注意力放到她们身上，我可以注视而不被发觉，我的眼睛就不由自主地被吸引到他脸上；我可没办法控制眼皮；眼皮硬是要抬起来，眼珠硬是要盯住他。我看了，看的时候有一种剧烈的欢乐，——一种宝贵的、然而辛辣的欢乐；像纯粹的黄金，却有着痛苦的钢的尖头；一个渴得快要死去的人明明知道自己爬近去的那口井放了毒药，却还弯下身去喝那甘泉，我感到的就是那样的欢乐。
夏洛蒂·勃朗特 夏洛蒂·勃朗特
长篇小说《简·爱》的作者
学着主宰自己的生活；即使孑然一身，也不算一个太坏的局面。不自怜、不自卑、不怨叹，一日一日来，一步一步走，那份柳暗花明的喜乐和必然的抵达，在于我们自己的修持。
三毛 三毛
台湾女作家
教育的目的在于让学生能自学自勉，出了学校，担任了工作，一直能自学自勉，一辈子做主动有为的人。
叶圣陶 叶圣陶
中国近代教育家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行