"

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： "Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
🏷️ 标签： 方法 追求 重要 不是 系统
💬 推荐名言 19句推荐
昨日的悲伤，我已遗忘。可以遗忘的，都不再重要了。
几米 几米
台湾绘本画家
一切发展都源于想象力，只有敢于突破现有的束缚，才能追求更好的未来。
赫尔曼·黑塞 赫尔曼·黑塞
1946年获诺贝尔文学奖
人生最大的痛苦，不是失败，而是我本可以。
阿来 阿来
《尘埃落定》作者
花下少年应笑我，垂垂赢马访高人
岳飞 岳飞
南宋“中兴四将”之首
怪小人之颠倒豪杰，不知惯颠倒方为小人；惜吾辈之受世折磨，不知惟折磨乃见吾辈。
陈继儒 陈继儒
中国明代著名画家、书法家、文学家
是灿烂的春日的天气，少数的白云在碧蓝中间漂浮，大地有令人沉醉的芳香。这是我第一次知道我自己是太阳的崇拜者。怎么我活了这样久，竟没有问过天空里是否有太阳？在那豁朗的苍穹下面，我可以跪下来膜拜。我行走的时候，发现自己连每一长条的阴影都躲开；即使是一颗赤杨树杆的阴影，我也觉得它仿佛剥夺了我的白日的快乐。
乔治·吉辛 乔治·吉辛
英国小说家，散文家
隆冬风厉，百卉凋残，晴窗坐对，眼目增明，是岁朝乐事。
汪曾祺 汪曾祺
中国当代文学家
意义不是我们“发现”的东西，而是我们通过克服挑战而“创造”出来的东西。
米哈里·契克森米哈赖 米哈里·契克森米哈赖
心流理论提出者
我们的历史老师总是说，仔细观察，幸运只不过是充分准备加上努力工作的结果。
博多·舍费尔 博多·舍费尔
《小狗钱钱 》作者
因为对人而言，意识到当下即意味着不再期待。 P29
加缪 加缪
“荒诞哲学”的代表人物
教育不是灌输，而是点燃火焰。
苏格拉底 苏格拉底
古希腊（雅典）哲学的创始人之一
人生，其实无非是矛盾与选择的综合体，无关对错，仅仅在于我们能否有勇气在矛盾中作出选择并勇敢承担一切后果。
路遥 路遥
《平凡的世界》作者
调试程序的最好方法是让它工作。
杰克·唐加拉 杰克·唐加拉
高性能计算的先驱
It's not about how hard you hit. It's about how hard you can get hit and keep moving forward.
戴蒙·德约翰 戴蒙·德约翰
励志演说家
美，多少要包含一点偶然。
汪曾祺 汪曾祺
中国当代文学家
人可以走向天堂，不可以走到天堂。走向，意味着彼岸的成立。走到，岂非彼岸的消失？彼岸的消失即信仰的终结、拯救的放弃。因而天堂不是一处空间，不是一种物质性存在，而是道路，是精神的恒途。
史铁生 史铁生
新时期中国最优秀的作家之一
Responsibility is the responsibility of an enterprise, without responsibility there is no future.
何享健 何享健
美的集团创始人
投资不仅是投钱，更是投人。
邝子平 邝子平
科技和医疗健康领域投资专家
在数学中最令我欣喜的，是那些能够被证明的东西。
罗素 罗素
英国哲学家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行