"Success is not about the technology itself, but about the experiences it enables and the lives it improves."
The only way to learn mathematics is to do mathematics.
 释义:待人做事不能忍受麻烦,是一个人最大的毛病。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."