Parallel Model Checking and the FMICS-jETI Platform

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
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

Citation
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:

You are running an old browser version. We recommend updating your browser to its latest version.