Tutorial: Software Model Checking [chapter]

Edmund Clarke, Daniel Kroening
2004 Lecture Notes in Computer Science  
Model Checking is an automated technique for the systematic exploration ofu the state space of a state transition system. The first part of the tutorial provides an introduction to the basic concepts of model checking, including BDDand SAT-based symbolic model checking, partial order reduction, abstraction, and compositional verification. Model Checking has been applied sucessfully to hardware in the past. However, software has become the most complex part of safety ciritcal systems. The second
more » ... part of the tutorial covers tools that use Model Checking to formally verify computer software.
doi:10.1007/978-3-540-30482-1_5 fatcat:2x4rlsgacvasffvzzfa6yhvoly