生活中你必须无所畏惧。
你没有第二次机会。生活不是任天堂游戏。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
领导力就是在没有人愿意的时候做出艰难的决定。
"Emotions exist for the sake of action."