Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5974482> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Q5974482 subject Q8257707.
- Q5974482 subject Q8713595.
- Q5974482 abstract "ISP ("In-situ Partial Order") is a tool for the formal verification of MPI programs developed within the School of Computing at the University of Utah. Like model checkers, such as SPIN, ISP verifies the complete state space of a system for a set of safety properties. However, unlike model checkers, ISP performs code level verification. This means that the tool verifies all relevant interleavings of a concurrent program by replaying the actual program code without building verification models. This idea was pioneered in a number of tools, notably by Godefroid, in his VeriSoft tool.Other recent tools of this genre include the Java Pathfinder, Microsoft's CHESS tool, and MODIST.Relevant interleavings are computed using a customized dynamic partial order reduction algorithm called POE.ISP has been used to successfully verify up to 14,000 lines of MPI/C code for deadlocks and assertion violations. It currently supports over 60 MPI 2.1 functions, and has been tested with MPICH2, OpenMPI,and Microsoft MPI libraries.ISP is available for download for linux and Mac OS X; as a Visual Studio plugin for running under Windows, and as an Eclipse plugin..".
- Q5974482 wikiPageExternalLink download?doi=10.1.1.90.4722&rep=rep1&type=pdf.
- Q5974482 wikiPageExternalLink getfile.py?docid=20721&name=dtofgbpa08&format=pdf&version=1.
- Q5974482 wikiPageExternalLink getfile.py?docid=21443&name=vdoma08&format=pdf&version=1.
- Q5974482 wikiPageExternalLink 08-tosem.pdf.
- Q5974482 wikiPageExternalLink ppopp09.rice.edu.
- Q5974482 wikiPageExternalLink pvmmpi08.ucd.ie.
- Q5974482 wikiPageExternalLink ppopp08.
- Q5974482 wikiPageExternalLink mpiwiz-ppopp09.pdf.
- Q5974482 wikiPageExternalLink ISP-release.
- Q5974482 wikiPageExternalLink europvm-mpi-07.pdf.
- Q5974482 wikiPageExternalLink padtad2008.
- Q5974482 wikiPageWikiLink Q127879.
- Q5974482 wikiPageWikiLink Q134067.
- Q5974482 wikiPageWikiLink Q1406.
- Q5974482 wikiPageWikiLink Q14116.
- Q5974482 wikiPageWikiLink Q1569697.
- Q5974482 wikiPageWikiLink Q17070027.
- Q5974482 wikiPageWikiLink Q378561.
- Q5974482 wikiPageWikiLink Q388.
- Q5974482 wikiPageWikiLink Q82268.
- Q5974482 wikiPageWikiLink Q8257707.
- Q5974482 wikiPageWikiLink Q8713595.
- Q5974482 wikiPageWikiLink Q959513.
- Q5974482 comment "ISP ("In-situ Partial Order") is a tool for the formal verification of MPI programs developed within the School of Computing at the University of Utah. Like model checkers, such as SPIN, ISP verifies the complete state space of a system for a set of safety properties. However, unlike model checkers, ISP performs code level verification. This means that the tool verifies all relevant interleavings of a concurrent program by replaying the actual program code without building verification models.".
- Q5974482 label "ISP Formal Verification Tool".