Title of article
Model Checking: Software and Beyond
Author/Authors
Clarke, Edmund M. Carnegie Mellon University - Computer Science Department, USA , Lerda, Flavio Carnegie Mellon University - Computer Science Department, USA
From page
639
To page
649
Abstract
This paper introduces model checking, originally conceived for checking finite state systems. 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
Journal title
International Journal of Universal Computer Sciences
Journal title
International Journal of Universal Computer Sciences
Record number
2574604
Link To Document