——杜先生晚年在香港，先生为中国抗战.赈灾慈善做出巨大贡献，晚年依旧气度过人，毁掉所有欠条。

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

Every artist dips his brush in his own soul, and paints his own nature into his pictures.

The way a child holds a book tells you everything about how they feel about it.

孔子说：“明智的人喜欢水，仁慈的人喜欢山；明智的人好动，仁慈的人好静；明智的人快乐，仁慈的人长寿。”

如果剑很短而笔很锋利，那么笔就比剑更有力量。