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
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
