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 <a rel="external noopener" href="http://www4.cs.tum.edu/publ/papers/leucker_iceccs07b.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Parallel Model Checking and the FMICS-jETI Platform
<span title="">2007</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/z2hn4t7hyrh43expek7eauvlua" style="color: black;">12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)</a>
</i>
Preserved Fulltext
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 at
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iceccs.2007.34">doi:10.1109/iceccs.2007.34</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iceccs/BarnatBL07.html">dblp:conf/iceccs/BarnatBL07</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m5e7uf4izndw7krijcytfeuht4">fatcat:m5e7uf4izndw7krijcytfeuht4</a>
</span>
more »
... ted locations. Nevertheless, parallel model checking applications or the tools built on top of model checkers should be easily usable as conventional desktop applications. Therefore, it is desirable to provide parallel model checking applications as services for direct use and simple integration to customized modelling, analysis, and verification tools. jETI is a framework that offers such integration capabilities and we discuss how to offer parallel model checking applications with jETI in mind.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705110039/http://www4.cs.tum.edu/publ/papers/leucker_iceccs07b.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/14/47/1447a639a6a6f3599cea1e67bb2638a9892ccc73.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iceccs.2007.34">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>