The challenge in model checking is not just to find errors, but to understand why they occur.
心可能以为它更了解:感官知道缺席会将人抹去。我们其实没有不在场的朋友。
写作对我而言,只是透过我的手指来思考。