系统有子系统,子系统有子系统,等等,这是无限的,这就是为什么我们总是从头开始。
创业如果不顺利的话,就早点结束,重新开始。
Ignore what others may be thinking of you, because they aren’t.
The challenge in model checking is not just to find errors, but to understand why they occur.
The best way to predict the future is to create it.