如果你明智地利用经验,那么没有什么是浪费时间。
永远不要低估“无用”的基础研究的重要性。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
I don't want to be the next Michael Jordan, I only want to be Kobe Bryant.