Model Checking and the State Explosion Problem

Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani. Model Checking and the State Explosion Problem. In Bertrand Meyer, Martin Nordio, editors, Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Volume 7682 of Lecture Notes in Computer Science, pages 1-30, Springer, 2011. [doi]

Abstract

Abstract is missing.