如果你不偶尔失败,你就没有在做任何非常创新的事情。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
当富贵利达的人夸说他得到上帝的恩惠时,上帝却羞了。
"The best time to plant a tree was 20 years ago. The second best time is now."