Publication details
Parallel Model Checking and the FMICS
-jETI Platform
| Basic information | |
|---|---|
| Original title: | Parallel Model Checking and the FMICS-jETI Platform |
| Authors: | Jiri Barnat, Lubos Brim, Martin Leucker |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiri - BRIM, Lubos - LEUCKER, Martin. Parallel Model Checking and the FMICS-jETI Platform. In Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems. Los Alamitos : IEEE Computer Society, 2007. ISBN 0-7695-2895-3, pp. 330-339. 2007, The University of Auckland, New Zealand. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | Parallel Model Checking; FMICS-jETI platform |
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 thee FMICS-jETI platform.
Related projects:
- Techniques for automatic verification and validation of software nad hardware systems
- Institute for Theoretical Computer Science
- Highly Parallel and Distributed Computing Systems
- Automated software verification
