Nothing that you remember has survived. Better to forget.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

我们所看到的改变了我们所知道的。我们所知道的改变了我们所看到的。

身体记得心灵试图忘记的东西。

儒家传统不仅是历史的遗产，也是一种活着的传统。

最重要的是对你想要做的事情有一个愿景，然后有毅力去实现它。

Don’t let fear write your story.

可持续性不是一种选择，而是一种责任。