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

我们将有一天会明白，死永远不能够夺去我们的灵魂所获得的东西，因为她所获得的，和她自己是一体。

有时候你做了所有正确的事情，事情仍然会出错。关键是要永远不要停止做正确的事情。