我对英雄不感兴趣,我对幸存者感兴趣。
Success is not final, failure is not fatal: It is the courage to continue that counts.
"The best stories are the ones that make you feel something, that stay with you long after you've finished reading."
国家的强大源于法治,衰弱混乱源于偏私
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."