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

诉说美丽的不真实，就是艺术的确切目标。

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.

将传统农业智慧与现代技术结合是成功的关键。