I don't believe in pure art.
在野外,你必须相信你的直觉。它们是你最好的向导。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."