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

Full description

Bibliographic Details

Published in:	Journal of parallel and distributed computing Vol. 74; no. 11; pp. 3161 - 3174
Main Authors:	Xie, Miao, Yang, Qiusong, Zhai, Jian, Wang, Qing
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.11.2014
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!