Model Checking: Software and Beyond
Дата
Авторы
Clarke,Edmund
Lerda,Flavio
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
formal methods , model checking