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

唯一不可能的旅程是你从未开始的旅程。

I think it's important to have a good hard failure when you're young... I learned a lot from that. Because it makes you kind of aware of what can happen to you. Because of it, I've never had any fear in my whole life when we've been near collapse and so on. I've never been afraid.

We may define therapy as a search for value.