A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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 µ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 the FMICS-jETI platform. On a different line, powerful parallel computers are only available atdoi:10.1109/iceccs.2007.34 dblp:conf/iceccs/BarnatBL07 fatcat:m5e7uf4izndw7krijcytfeuht4