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...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of parallel and distributed computing Ročník 74; číslo 11; s. 3161 - 3174
Hlavní autoři:	Xie, Miao, Yang, Qiusong, Zhai, Jian, Wang, Qing
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.11.2014
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!