"

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

埃德蒙·克拉克 埃德蒙·克拉克
💡 解读： The challenge in model checking is not just to find errors, but to understand why they occur.
🏷️ 标签： 错误 理解 挑战 发现
💬 推荐名言 20句推荐
新员工的学习焦虑，不管是刚入职场还是久经沙场后刚加入新公司，你入住第一件事情想的就是怎么快速学习公司的业务、专业、文化和融入团队吧。那问题来了，在大多数公司里，新员工入职第一天就上手干活，连喘气的机会都没，因为很多都是按需招聘，招你就希望立马能用，这对新员工比较盲目，我想学个新知识根本就没机会，想找个师傅学习也没机会，都不知道找谁，这是大多数公司的现状。但有些知识管理做好的公司呢，新员工入职当天就会安排一个师傅，由师傅带着边学边做，而且入职没多久就可以参加NEO（NewEmployeeOrientation）培训。更牛点呢，你入职第一天开始，就知道未来几个月或者一年内针对你这个岗位要学习哪些知识，循循渐进的成长。
罗振宇 罗振宇
“得到app”创始人
你们就算选对了父母生对了公母做对了功课上对了学校找对了老板跑对了方向算计对了别人出对了名挣对了钱操对了部位，也可能爱错了人，放错了CD。
廖一梅 廖一梅
中国国家话剧院编剧
“这款产品对我来说比我做过的任何事情都重要 ， ”乔布斯说道 ， “我希望你成为苹果公司以外第一个见到它的人 。 ”
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
我们在高低不平、窄狭难走的山路上，“探险”到莱蒙湖边，妄想绕湖一周。但愈走得远，湖面愈广，没法儿走一圈。
杨绛 杨绛
钱钟书夫人
辞主乎达，不论其繁与简也。
顾炎武 顾炎武
明末清初“四大启蒙思想家”
这100名员工是这样被选出来的：如果你只能带上100人跳上救生船去开创下一家公司，你会带上谁？通过辩论，整个小组将最终确定前十大“最应该做的事”。乔布斯会把最后七件全部划掉，然后宣布：“我们只能做前三件”。
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
我这几年做创业投资和辅导的经验：中国创业者，技术上不差，但他们最缺的就是人文修养。对艺术、文学、历史、宗教等人文知识与素养的缺乏，使得他们在面对客户、市场、以及利益纷争时，没有足够的精神与心灵支撑。技术与商业模式是大楼，而人文教养是地基。地基看不见，但决定大楼的高度与坚实度。
徐小平 徐小平
天使投资人
想明白你想从生活中得到什么，然后选择适当的道路加勤奋工作获得你想要的东西。
瑞·达利欧 瑞·达利欧
桥水基金的创始人
屋漏者民去之，水浅者鱼逃之，树高者鸟宿之，德厚者士趋之。
刘向 刘向
中国目录学鼻祖
青年人最容易给人一个“忘恩负义”的印象，其实他是眼睛望着前面，饥渴般的吸收新知识，并不是“忘恩负义”。
尼采 尼采
在哲学史上占有重要地位
财富的意义远不止于物质和金钱，而是代表着沉甸甸的道义和责任。既然我们的财富来自于社会，我们就要善用这些财富服务和回馈社会。从小处讲，这是知识与财富之间的良性循环；从大处看，这是为了让个人价值与造福人类的终极目标相一致。赠人玫瑰，手有余香。
张磊 张磊
价值投资教父
看起来不理智的选择，背后是情义无价。
雷军 雷军
小米科技有限责任公司创始人
我的诗是我的墓碑
绿原 绿原
七月诗派代表诗人，情感细腻思想深刻
The most beautiful stories are those that remain untold.
让-玛丽·古斯塔夫·勒克莱齐奥 让-玛丽·古斯塔夫·勒克莱齐奥
跨文化叙事的探索者
生命就是此时此刻。
埃克哈特·托利 埃克哈特·托利
德国大学导师
一个人要帮助弱者，应当自己成为强者，而不是和他们一样变成弱者。
罗曼·罗兰 罗曼·罗兰
法国思想家、文学家
螳螂捕蝉，岂知黄雀在后。
谚语 谚语
广泛流传于民间的简洁而富有教育意义的语句
半导体行业的竞争是全球化的竞争，我们必须具备国际视野。
赵海军 赵海军
中芯国际领军人物
股市中最危险的事情就是相信自己的判断总是正确的。
安德烈·科斯托兰尼 安德烈·科斯托兰尼
被誉为“股市教授”
我们必须平衡传统与技术，以推动皮革行业向前发展。
罗伯特·克拉克 罗伯特·克拉克
皮革质量标准化推动者
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行