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

将社会正义的梦想变为现实并不容易，但也不是不可能的。

我们生命中最美好的时刻不是被动的、接受的、放松的时刻...最美好的时刻通常发生在一个人自愿努力完成一项困难而有价值的事情时，身体或精神被拉伸到极限的时候。

说到底，它是你和上帝之间的事，而决不是你和他人之间的事。