夜晚是一位伟大的老师,但星星是它的课程。
Science is not a game for one person.
The greatest education in the world is watching the masters at work.
你越是否认某件事,它就会引起越多的关注。
The challenge in model checking is not just to find errors, but to understand why they occur.