每一项伟大的工程成就都始于一个清晰的愿景。

To write is to resist the erasure of history.

Am I in love? --yes, since I am waiting.

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

错误经不起失败，但是真理却不怕失败。