做出伟大工作的唯一方法就是热爱你所做的事。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
一切事物因缘而生,一切事物因缘而灭。