https://prob.hhu.de/w/index.php?action=history&feed=atom&title=Jens_Bendisposto%3AModel_Checkers
Jens Bendisposto:Model Checkers - Revision history
2026-05-27T09:14:00Z
Revision history for this page on the wiki
MediaWiki 1.43.8
https://prob.hhu.de/w/index.php?title=Jens_Bendisposto:Model_Checkers&diff=1711&oldid=prev
Marc Buengener at 14:35, 13 September 2012
2012-09-13T14:35:50Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:35, 13 September 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l11">Line 11:</td>
<td colspan="2" class="diff-lineno">Line 11:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''NuSMV ''' http://nusmv.fbk.eu/</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''NuSMV ''' http://nusmv.fbk.eu/</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''Murphi ''' http://www.cs.utah.edu/formal_verification/Murphi/</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''Murphi ''' http://www.cs.utah.edu/formal_verification/Murphi/</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>*'''XMC '''</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>*'''XMC ''' <ins style="font-weight: bold; text-decoration: none;"> http://www.cav2005.inf.ed.ac.uk/2005_call_for_papers.html</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''BLAST ''' http://mtc.epfl.ch/software-tools/blast/index-epfl.php</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''BLAST ''' http://mtc.epfl.ch/software-tools/blast/index-epfl.php</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''DiVinE ''' http://divine.fi.muni.cz/</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''DiVinE ''' http://divine.fi.muni.cz/</div></td></tr>
</table>
Marc Buengener
https://prob.hhu.de/w/index.php?title=Jens_Bendisposto:Model_Checkers&diff=1699&oldid=prev
Jens Bendisposto at 08:45, 7 September 2012
2012-09-07T08:45:17Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 08:45, 7 September 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l19">Line 19:</td>
<td colspan="2" class="diff-lineno">Line 19:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''YASM ''' http://www.cs.toronto.edu/~arie/yasm/</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''YASM ''' http://www.cs.toronto.edu/~arie/yasm/</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''SLAM ''' http://research.microsoft.com/en-us/projects/slam/</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*'''SLAM ''' http://research.microsoft.com/en-us/projects/slam/</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Other Lists:</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* http://www.pst.informatik.uni-muenchen.de/~hammer/mc-list.html</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* http://en.wikipedia.org/wiki/List_of_Model_Checking_Tools</ins></div></td></tr>
</table>
Jens Bendisposto
https://prob.hhu.de/w/index.php?title=Jens_Bendisposto:Model_Checkers&diff=1698&oldid=prev
Jens Bendisposto: Created page with '*'''SPIN ''' http://spinroot.com/spin/whatispin.html *'''PAT ''' http://www.comp.nus.edu.sg/~pat/ *'''MALPAS ''' http://www.atkinsglobal.co.uk/sectors-and-services/sectors/d…'
2012-09-07T08:44:08Z
<p>Created page with '*'''SPIN ''' http://spinroot.com/spin/whatispin.html *'''PAT ''' http://www.comp.nus.edu.sg/~pat/ *'''MALPAS ''' http://www.atkinsglobal.co.uk/sectors-and-services/sectors/d…'</p>
<p><b>New page</b></p><div>*'''SPIN ''' http://spinroot.com/spin/whatispin.html<br />
*'''PAT ''' http://www.comp.nus.edu.sg/~pat/<br />
*'''MALPAS ''' http://www.atkinsglobal.co.uk/sectors-and-services/sectors/defence/documents/~/media/Files/A/Atkins-UK/Attachments/sectors/defence/library-docs/capability-statements/malpas.pdf<br />
*'''Mocha ''' http://www.cis.upenn.edu/~mocha/<br />
*'''Prism ''' http://www.prismmodelchecker.org/<br />
*'''NuSMV ''' http://nusmv.fbk.eu/<br />
*'''PVS ''' http://pvs.csl.sri.com/<br />
*'''COMPASS''' http://compass.informatik.rwth-aachen.de/about.html<br />
*'''COSPAN '''<br />
*'''SMV ''' Symbolic Model Verifier http://www.cs.cmu.edu/~modelcheck/smv.html http://www.kenmcmil.com/smv.html <br />
*'''NuSMV ''' http://nusmv.fbk.eu/<br />
*'''Murphi ''' http://www.cs.utah.edu/formal_verification/Murphi/<br />
*'''XMC '''<br />
*'''BLAST ''' http://mtc.epfl.ch/software-tools/blast/index-epfl.php<br />
*'''DiVinE ''' http://divine.fi.muni.cz/<br />
*'''Solibri''' http://www.solibri.com/<br />
*'''Bogor ''' http://bandera.projects.cis.ksu.edu/ http://bogor.projects.cis.ksu.edu/<br />
*'''MCK ''' http://cgi.cse.unsw.edu.au/~mck/pmck/<br />
*'''YASM ''' http://www.cs.toronto.edu/~arie/yasm/<br />
*'''SLAM ''' http://research.microsoft.com/en-us/projects/slam/</div>
Jens Bendisposto