"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
验证不仅仅是发现错误；它关乎理解系统为何以某种方式工作。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
松门开积翠，潭水入空明。渐觉天鸡晓，披衣念远征。
屈大均
The best designs are those that solve problems people didn't even know they had.
最好的设计是解决人们甚至没有意识到的问题。
马克·卡斯皮
一个人只要意志坚强，他越是经历各种各样的生活，越是能够得到锻炼。
小林多喜二
孩子对环境美丑的直觉是非常敏锐的。
蒙台梭利
吾人为学，最要虚心。
曾国藩
自动主义有三部分：一、智育注重自学；二、体育注重自强；三、德育注重自治。
陶行知
无论什么样的身体，都是美丽的。
黑柳彻子
一切为了儿童，为了儿童的一切。
陈鹤琴
爸爸的花儿落了，我已不再是小孩子。如果说一个人一生要分几个段落的话，父亲的死，是我生命中一个重要的段落。
林海音
如果某个事物是脆弱性的，那么它破碎的风险会导致你做的任何旨在改善它或提高其“效率”的工作都变得无关紧要，除非你先降低其破碎的风险。
塔勒布
我一直都是有话就直说，这就是我的忍道。
岸本齐史
知道危险而不说的人，是敌人。
歌德
资源的使用决策比资源本身更重要。
托马斯·索维尔
我非常幸运，因为我在很早的时候就找到了我真爱的东西。
史蒂夫·乔布斯
人生第一快乐是做到自己认为自己做不到的事，人生第二快乐是做到别人认为自己做不到的事。
李敖
卓有成效是管理者能够做到而且必须做到的事。
彼得·德鲁克
草原尽头我两手空空，悲痛时握不住一颗泪滴。
海子
勿以身贵而贱人，勿以独见而违众，勿持功能而失信。
诸葛亮
懒惰行动得如此缓慢，贫穷很快就能超过它。
富兰克林