"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
故事是作者写给自己的信,用来告诉自己那些无法以其他方式发现的事情。
我对我生命中的一切心存感激。