The dead don’t stay where they are buried.

有时候，最英勇的行为就是继续活下去。

It is better to be a human being dissatisfied than a pig satisfied; better to be Socrates dissatisfied than a fool satisfied.

最好的领导者是那些能够激励他人成为最好的自己的人。

我们利用现有的东西，因为它们有价值

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

你读得越多，知道的东西就越多。你学得越多，去的地方就越多。

The greatest thing you'll ever learn is just to love and be loved in return.

最伟大的事件并非总是最重要的。