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

没有人写作、绘画、雕塑、建模、建造或发明，除非是为了真正地逃离地狱。

我认为最重要的是始终保持谦逊并继续努力工作。

"There is nothing more deceptive than an obvious fact."