No one had ever had such a friend, so affectionate,so loyal and so skillful.

【译文】知心的话只能说给知心人来听，不是知心人就不要和他谈。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

A law of nature， lex naturalis， is a precept or general rule found out by reason， by which a man is forbidden to do that which is destructive of his life or takes away the means of preserving the same.

"Literature is the mirror of society."

每年赢得锦标赛是我的主要目标。