A Theory of Hints in Model Checking

Model checking, in particular symbolic model checking, has proved to be extremely successful in establishing properties of finite state programs. In most cases, the proven properties are safety properties stating that the program never executes outside a specified set of states. But another importan...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Kaltenbach, Markus, Misra, Jayadev
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Linear Temporal Logic Model Check Regular Expression Safety Property Software Software engineering Temporal Logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!