每一本书都是一次旅程,每一次旅程都会改变你。
The challenge in model checking is not just to find errors, but to understand why they occur.
错误经不起失败,但是真理却不怕失败。
The truth is a matter of the imagination.
感知不仅仅由刺激模式决定,而是对可用数据的最佳解释的动态搜索。
A first sign of the beginning of understanding is the wish to die.