A vertex centric parallel algorithm for linear temporal logic model checking in Pregel

Linear Temporal Logic (LTL) Model Checking is a very important and popular technique for the automatic verification of safety-critical hardware and software systems, aiming at ensuring their quality. However, it is well known that LTL model checking suffers from the state explosion problem, often le...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of parallel and distributed computing Jg. 74; H. 11; S. 3161 - 3174
Hauptverfasser:	Xie, Miao, Yang, Qiusong, Zhai, Jian, Wang, Qing
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.11.2014
Schlagworte:	Distributed memory algorithm Formal method Linear temporal logic Model checking Reliable model checker Scalable algorithm Model checking Formal method Reliable model checker Scalable algorithm Distributed memory algorithm Linear temporal logic
ISSN:	0743-7315, 1096-0848
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!