Model checking: algorithmic verification and debugging

Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis. Model checking: algorithmic verification and debugging. Communications of the ACM, 52(11):74-84, 2009. [doi]

Abstract

Abstract is missing.