作家的责任是挖掘真相，无论它多么痛苦。

Science is not a game for one person.

荣誉羞著我，因为我暗地里追求著它。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

没有风险的胜利，就没有荣耀的凯旋。