The ComFoRT Reasoning Framework

Model checking is a promising technology for verifying critical behavior of software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. The second challenge arises from the gap between model checking concepts and notations, a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Chaki, Sagar, Ivers, James, Sharygina, Natasha, Wallnau, Kurt
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Custom Code Deadlock Detection Exact sciences and technology Kripke Structure Model Check Predicate Abstraction Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!