. . "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."@en . "RIV/00216224:14330/07:00019460" . . "3"^^ . . "Leucker, Martin" . "Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems" . "RIV/00216224:14330/07:00019460!RIV10-GA0-14330___" . "Leucker, Martin" . . "3"^^ . "Parallel Model Checking and the FMICS-jETI Platform"@en . "Parallel Model Checking; FMICS-jETI platform"@en . "Parallel Model Checking and the FMICS-jETI Platform"@en . . . . . "440582" . . "Barnat, Ji\u0159\u00ED" . . "IEEE Computer Society" . "Parallel Model Checking and the FMICS-jETI Platform" . . . "[86414849977B]" . . . . "14330" . "10"^^ . "000248574000034" . . "0-7695-2895-3" . . . "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." . "P(1ET408050503), P(1M0545), P(GA201/06/1338), Z(MSM0021622419)" . "Los Alamitos" . "The University of Auckland, New Zealand" . "2007-01-01+01:00"^^ . "Parallel Model Checking and the FMICS-jETI Platform" . . "Brim, Lubo\u0161" .