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

对话应当面面俱到，无所不谈，但又不可深谈。

真正的幸福的源泉在我们自身。一个人只要自己善于追求幸福，别人是无法使他落到真正悲惨的境地的。

建筑是一种视觉艺术，建筑物自己会说话。

Science is not just about discovery, it's about persistence and collaboration.

The most successful modern states are those that have been able to combine a strong state with the rule of law and democratic accountability.

创新是区分领导者和追随者的关键。