"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
所以，我们一旦在穿越入境走道的12秒间扫视了两旁的群众，结果发现自己在这个世界上的确是孤独一人，唯一的去处只有希斯罗机场快线列车售票机前的购票队伍，这是我们必须具备多么强烈的自尊，才能够不显露出一点点的迟疑。就在我们身旁两米处，一个衣着轻便，也许以担任救生员为业的年轻男子，刚刚在一阵欢呼声中与一名真诚而体贴的年轻女子相遇，两人现在正深情拥吻，这是我们又必须多么成熟，才能不在乎眼前的这幕景象。此外，我们又必须多么务实，才能够不盼望着暂时摆脱这个令人厌倦的自己。
阿兰·德波顿名人名言哲理格言警句语录 阿兰·德波顿
“积极主动”是广泛优秀素质的基础。
张一鸣名人名言哲理格言警句语录 张一鸣
人生就是专注和平衡。假如你专注而失去平衡，你会跌倒。假如你平衡而失去专注，你会凋零。检查你的重心放在哪里：平衡还是专注。
小野洋子名人名言哲理格言警句语录 小野洋子
占据你是满足不过的志愿。
王菲名人名言哲理格言警句语录 王菲
你不喜欢我，我一点都不介意。正因我活下来，不是为了取悦你！
梁漱溟名人名言哲理格言警句语录 梁漱溟
I'm not here to be perfect, I'm here to be real.
我不是来追求完美的，我是来展现真实的。
粉红佳人名人名言哲理格言警句语录 粉红佳人
Resilience is built through challenges, not comfort.
韧性是通过挑战而非安逸建立的。
大卫·史密斯名人名言哲理格言警句语录 大卫·史密斯
你对什么事物热情？你最爱什么？发现了自己本能热爱的事情，点燃了自己的热情，并付诸行动，获得了巨大的成就和强烈的满足感。
肯·罗宾逊名人名言哲理格言警句语录 肯·罗宾逊
不能确定，我是不是第一个跨进寺庙的送餐人。可我并不准备跪拜，时间在催，我还有许多单子需要及时配送。此刻，我才是菩萨，面对众多的许愿人。
王计兵名人名言哲理格言警句语录 王计兵
The balance between economy and ecology is the core of modern forestry.
经济与生态之间的平衡是现代林业的核心。
田中健一名人名言哲理格言警句语录 田中健一
那些杀不死我的，会使我更强大。
尼采名人名言哲理格言警句语录 尼采
打透生死关，生来也罢，死来也罢；参破名利场，得了也好，失了也好。
陈继儒名人名言哲理格言警句语录 陈继儒
生活一半柴米油盐，一半星辰大海。放一点盐，它就是咸的，放一点糖，它就是甜的。想调成什么味，全凭自己。
杨绛名人名言哲理格言警句语录 杨绛
人有一字不识，而多诗意；一偈不参，而多禅意；一勺不濡，而多酒意；一石不晓，而多画意；淡宕故也。
陈继儒名人名言哲理格言警句语录 陈继儒
创业十条：1、能洞察用户需求对市场极其敏感。2、志存高远并脚踏实地。3、最好是两三个优势互补的人一起创业。4、一定要有技术过硬并能带队伍的技术带头人。5、低成本情况下的快速扩张能力。6、有创业成功经验的人加分。7、做最肥的市场。8、选择最佳的时间点。9、专注、专注再专注。10、业务在小规模被验证。
雷军名人名言哲理格言警句语录 雷军
Absurdity is what I like most in life, and it's absurdity that leads to discovery.
荒谬是我生活中最喜欢的东西，正是荒谬导致了发现。
大卫·林奇名人名言哲理格言警句语录 大卫·林奇
能学会控制心灵的人，就等于擎有打开幸福之门的钥匙。
米哈里·契克森米哈赖名人名言哲理格言警句语录 米哈里·契克森米哈赖
Never stop learning; the world is constantly evolving, and so should we.
永远不要停止学习；世界在不断发展，我们也应该如此。
帕特里夏·怀特名人名言哲理格言警句语录 帕特里夏·怀特
明显的真理都像废话。
史铁生名人名言哲理格言警句语录 史铁生