最好的投资是投资于那些正在建设未来的人。
I am not interested in the average, I am interested in the extreme.
The past is a foreign country; they do things differently there.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I'm not a whisper, I'm a shout.