The challenge in model checking is not just to find errors, but to understand why they occur.
我从来没有逃过课。我喜欢得到A,我喜欢做个聪明的人。我喜欢准时。我认为聪明比世界上任何事情都酷。
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.