Cluster-Based I/O-Efficient LTL Model Checking

I/O-efficient algorithms take the advantage of large capacities of external memories to verify huge state spaces even on a single machine with low-capacity RAM. On the other hand, parallel algorithms are used to accelerate the computation and their usage may significantly increase the amount of avai...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2009 IEEE/ACM International Conference on Automated Software Engineering S. 635 - 639
Hauptverfasser:	Barnat, J., Brim, L., Simecek, P.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.11.2009
Schlagworte:	Acceleration Clustering algorithms Computer industry Computer networks Concurrent computing I/O-efficient model checking Large-scale systems LTL Parallel algorithms parallel model checking Random access memory Read-write memory State-space methods
ISBN:	1424452597, 9781424452590
ISSN:	1938-4300
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!