"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
宇宙不仅比我们想象的更奇怪,它比我们能想象的还要奇怪。
The best stories are those that make us question ourselves.
I believe in the passion of creation. Without passion, you have nothing.
The longer you look at an object, the more abstract it becomes, and, ironically, the more real.