The more you look, the more you see.
The best way to predict your future is to create it.
"Memory is a fragile thing, but it is also our most powerful tool for understanding the past."
权力不是一天就能学会的东西。它是一个过程,一场需要持续关注和适应的战略游戏。
The challenge in model checking is not just to find errors, but to understand why they occur.
最重要的是保持最重要的事情最重要。