Optimising Communication Structure for Model Checking

Model checking is an effective tool in the verification of concurrent systems but can require skillful use. The choice of representation for a particular system can make a substantial difference to whether the verification will prove tractable. We present a method for improving the choice of represe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Saffrey, Peter, Calder, Muffy
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Communication Structure Computer science control theory systems Concurrent System Exact sciences and technology Linear Temporal Logic Model Check Software Software engineering State Space
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!