Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
神经症患者老是禁不住要怀着痛苦的敏感，把现实生活中成千上万不符合他头脑中幻想的琐事放在心上。她对自己的评价摇摆不定，一会儿觉得自己无比伟大，一会儿又觉得自己一钱不值。他随时随地都可以从一个极端跳到另一个极端。
卡伦·霍妮
专注极致口碑快”七字诀是互联网创业的关键。
雷军
爱不必请求，也不可要求。爱必须成为自己明确肯定的力量。它便不再是被牵引，而是去牵引。
赫尔曼·黑塞
人之有德于我也，不可忘也；吾有德于人也，不可不忘也。
刘向
一个政治学家的第一课，就是：记住选民的姓名。
卡耐基
在极端痛苦中，一个灵魂为了承受这份痛苦，将会发出崭新的生命光辉。就是这股潜力在新生命里的发挥，使人们远离在极端痛苦时燃起的自杀念头，让他得以继续活下去。他的心境将别于健康的人，他鄙视世人所认同的价值观，（思庐哲学编辑）从而发挥昔日所未曾有过的最高贵的爱与情操，这种心境是曾体验过地狱烈火般痛苦的人所独有的。
尼采
人有时候只想独自静静的呆一会，悲伤也成享受。
史铁生
虽无丝竹管弦之盛，一觞一咏，亦足以畅叙幽情。
陈继儒
有位病友的原话是：“蔡总，如果你有药出来了，我可以花5倍甚至10倍的价格来买。但是如果让我一块儿投资来推动药物研发，这个事我干不了。我也不知道能活到哪天，我不想瞎折腾。”
蔡磊
我嘅音乐系我嘅故事，希望你可以听到。
我的音乐是我的故事，希望你可以听到。
陈奕迅
我们所有的努力，最终都是为了好好生活。
李梦霁
对于读书，你要贪婪。
查理·芒格
我发现，原来我一直活在一个谎言的世界里。
鲁迅
我生命里的温暖就那么多，我全部给了你，但是你离开了我，你叫我以后怎么再对别人笑。
张爱玲
谁虚度年华，青春就要褪色，生命就会抛弃他们。
雨果
爱是琥珀，琥珀是最美的尸体。
郭敬明
只有掌握核心技术，才能在全球市场占据主动。
徐留平
你对生活了解得越多，你就能为你的工作带来更多。
The more you know about life, the more you can bring to your work.
菲利普·塞默·霍夫曼
企业的核心竞争力不是规模，而是产品和服务的质量。
吴亚军