Model checking basics

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


Model checking is a collection of methods for the automatic verification of (often, finite state) systems based on automata and logic principles. We present the basic principles of modeling a system, specifying its properties and applying verification algorithms. We present several methods for combating the challenge of coping with the state space explosion problem.

Original languageEnglish
Title of host publicationEngineering Dependable Software Systems
PublisherIOS Press
Number of pages28
ISBN (Electronic)9781614992073
ISBN (Print)9781614992066
StatePublished - 19 Jun 2013

All Science Journal Classification (ASJC) codes

  • General Computer Science


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

Cite this