我们有责任为子孙后代留下一个比我们发现时更好的地球。

模型检查是验证硬件和软件系统正确性的强大工具。

The key to successful research is collaboration and the sharing of knowledge across different disciplines.

To write is to resist the erosion of time, to fight against oblivion.

被大胆说出的预言，从来不会被迷信的人认为是愚笨无趣的。