"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

没有森林，文明将会消亡。

诗人是民族的良心。

 释义：不和他人去争名利上的得与失，只求自己能够拥有和增长智慧与才干。

The only person you should try to be better than is the person you were yesterday.

诗人的职责是照亮黑暗。

最有力的艺术往往是最模糊的。

满足于少，总比贪得无厌更幸福。