Parallel Model Checking and the FMICS-jETI Platform
| Authors | |
|---|---|
| Year of publication | 2007 |
| Type | Article in Proceedings |
| Conference | Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems |
| MU Faculty or unit | |
| 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: |