"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
我要的是才华，不是金钱。才华会找到它自己的出路。
微小的行动，乘以数百万，就能改变世界。
"Every film is a journey, and every journey teaches you something new."
启发式研究揭示了我们是怎样做出快速、高效的决策的，但也揭示了这些捷径如何导致系统性错误。
"Die Wahrheit ist oft unsichtbar, weil sie zu offensichtlich ist."