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

Science must be a force for good in the world.

对心智的研究应着眼于其适应功能。

Farming is a partnership with nature, not a conquest.

我总是等机会错过了才发现我曾有过机会。

世界上充满了显而易见的事情，却没人注意到。