Title :
Parallel Model Checking and the FMICS-jETI Platform
Author :
Jiri Barnat;Lubos Brim;Martin Leucker
Author_Institution :
Masaryk University, Czech Republic
fDate :
7/1/2007 12:00:00 AM
Abstract :
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the mu-calculus which naturally subsumes the branching time logic CTL (computation tree logic). We also indicate how to provide parallel model checking applications as services for integrated modelling, analysis, and verification using the FMICS-jETI platform.
Keywords :
"State-space methods","Logic","Concurrent computing","Power system modeling","Partitioning algorithms","Application software","Tree graphs","Heart","Workstations","Distributed computing"
Conference_Titel :
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Print_ISBN :
0-7695-2895-3
DOI :
10.1109/ICECCS.2007.34
