Parallel Model Checking and the FMICS-jETI Platform

• Authors: BARNAT Jiri; BRIM Lubos; LEUCKER Martin
• Year of publication: 2007
• Type: Article in Proceedings
• Conference: Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems
• MU Faculty or unit: Faculty of Informatics
• Field: Informatics
• Keywords: Parallel Model Checking; FMICS-jETI platform
• Description: 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