Published May 28, 2007 | Version v1
Journal article Open

Model Checking: Software and Beyond

Authors/Creators

  • 1. Carnegie Mellon University, Pittsburgh, United States of America

Description

This paper introduces model checking, originally conceived for checking finite statesystems. It surveys its evolution to encompass finitely checkable properties of systems with unbounded state spaces, and its application to software and other systems.

Files

jucs_article_28790.pdf

Files (78.5 kB)

Name Size
md5:7300692d12a18a94da72db2a6635dd00
78.5 kB Preview Download