我不介意犯错,我只是不想一直错下去。
流放不仅仅是一个地理概念。你可以在自己的祖国、自己的家里、一个房间里成为流放者。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。