系统有子系统,子系统有子系统,等等,这是无限的,这就是为什么我们总是从头开始。
创业如果不顺利的话,就早点结束,重新开始。
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.