The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The only way to deal with the past is to accept it.
I'm not perfect, but I'm perfectly me.
生命中真正重要的不是你遭遇了什么,而是你记住了哪些事,又是如何铭记的。
设计中最难的部分是保持功能的简洁。
译文:钱财能让人获得幸福,但它也能带来祸患,有钱人一定要知晓;药物能救人,但也能杀人,用药的人一定要慎重对待。赏析:钱财如药材一样,它能治病救人,也能致人死亡。金钱的好与坏,在于人如何使用它。