一个真正的决定是通过你采取的新行动来衡量的。如果没有行动,你就没有真正做出决定。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
I'm not interested in playing the hero. I'm interested in playing the human.
If you want to achieve greatness, stop asking for permission.