The challenge in model checking is not just to find errors, but to understand why they occur.

这就好像口渴了才挖井，人死了才找医生。 

我们处在一个信息越来越多，意义却越来越少的世界。

什么人背后不被人说，又有谁在别人面前不去议论人呢？

最好的皮革讲述着品质、道德和永恒的故事。

如果我不是鲍勃·迪伦，我可能会认为这个名字有许多种答案。

求知若饥，虚心若愚。

迷宫中的老鼠不仅仅是在学习一系列转弯，而是在构建整个情境的认知地图。