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

You have to believe in yourself when no one else does.

It's not about money. It's about the people you have, how you're led, and how much you get it.

译文：不害怕老虎生了三张口会吃人，就担心世间的人会有两面的心思。赏析：心口不一的人，表面上对人笑脸相迎，背地里却干着损人利己的事。

真相很少是纯粹的，也从不简单。