Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 5

available in:   PDF (77 kB) PS (73 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0639


Model Checking: Software and Beyond

Edmund M. Clarke (Carnegie Mellon University, USA)

Flavio Lerda (Carnegie Mellon University, USA)

Abstract: 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.

Keywords: formal methods, model checking

Categories: B.2, D.2.4, F.3.1