The computer is incredibly fast, accurate, and stupid. Man is unbelievably slow, inaccurate, and brilliant. The marriage of the two is a force beyond calculation.
一本好书是一个永远不会让你失望的朋友。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."