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

宇宙不仅比我们想象的更奇怪，它比我们能想象的还要奇怪。

制药行业有道义上的责任，把患者放在利润之前。

The best stories are those that make us question ourselves.

I believe in the passion of creation. Without passion, you have nothing.

A poet can survive everything but a misprint.

The longer you look at an object, the more abstract it becomes, and, ironically, the more real.