最伟大的战斗不是用武器进行的,而是用思想进行的。
最好的电影是那些给观众留下问题而不是答案的电影。
The challenge in model checking is not just to find errors, but to understand why they occur.