Model Checking

D. Peled, P. Pelliccione, P. Spoletini

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


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.
Original languageAmerican English
Title of host publicationWiley Encyclopedia of Computer Science and EngineeringWiley Encyclopedia of Computer Science and Engineering
EditorsD. Peled
StatePublished - 2009


Dive into the research topics of 'Model Checking'. Together they form a unique fingerprint.

Cite this