2009/03/09 by Doron Peled, Patrizio Pelliccione, Paola Spoletini · 1 citation
Computer Science · Mathematics · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Model checking #Computer science #Abstraction model checking #State space #State (computer science) #Programming language #Software #Theoretical computer science #Algorithm #Mathematics
paper · doi:10.1002/9780470050118.ecse247
openalex publication_date 2009/03/09 · openalex created_date 2022/01/26 · openalex updated_date 2026/07/14
Abstract Model checking is an automatic technique for verifying models of software or hardware systems against their specification. This analysis is based on an exploration of the checked system's state space, hence, it is in general affected by the state explosion problem. In this article, we present the classic model checking approaches and different techniques to deal with the complexity problem. We also describe some popular model checking systems.