童年转瞬即逝,但一本好书可以让它停留得更久一点。
I'm not a saint, I'm a sinner.
Mathematics is the art of asking the right questions and then finding their answers.
The challenge in model checking is not just to find errors, but to understand why they occur.