最好的投资就是投资自己。
I don't believe in pure art.
语言是我们真正拥有的唯一家园。
在野外,你必须相信你的直觉。它们是你最好的向导。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."