模型检查是验证有限状态并发系统正确性的强大技术。

我相信讲故事的力量。这是我们理解世界的方式。

上帝永远将一切几何化。

Are you OK?

Sustainability is not a choice, it is a responsibility.

You can be the ripest, juiciest peach in the world, and there's still going to be somebody who hates peaches.

The more I work, the more I see things differently.

法学是权利的科学，而权利是命令和禁止的道德力量。