Matches in DBpedia 2014 for { <http://dbpedia.org/resource/ISP_Formal_Verification_Tool> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- ISP_Formal_Verification_Tool 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..".
- ISP_Formal_Verification_Tool wikiPageExternalLink download?doi=10.1.1.90.4722&rep=rep1&type=pdf.
- ISP_Formal_Verification_Tool wikiPageExternalLink getfile.py?docid=20721&name=dtofgbpa08&format=pdf&version=1.
- ISP_Formal_Verification_Tool wikiPageExternalLink getfile.py?docid=21443&name=vdoma08&format=pdf&version=1.
- ISP_Formal_Verification_Tool wikiPageExternalLink javapathfinder.sourceforge.net.
- ISP_Formal_Verification_Tool wikiPageExternalLink 08-tosem.pdf.
- ISP_Formal_Verification_Tool wikiPageExternalLink ppopp09.rice.edu.
- ISP_Formal_Verification_Tool wikiPageExternalLink pvmmpi08.ucd.ie.
- ISP_Formal_Verification_Tool wikiPageExternalLink ppopp08.
- ISP_Formal_Verification_Tool wikiPageExternalLink default.aspx.
- ISP_Formal_Verification_Tool wikiPageExternalLink mpiwiz-ppopp09.pdf.
- ISP_Formal_Verification_Tool wikiPageExternalLink www.cs.utah.edu.
- ISP_Formal_Verification_Tool wikiPageExternalLink ISP-release.
- ISP_Formal_Verification_Tool wikiPageExternalLink europvm-mpi-07.pdf.
- ISP_Formal_Verification_Tool wikiPageExternalLink padtad2008.
- ISP_Formal_Verification_Tool wikiPageExternalLink tech.
- ISP_Formal_Verification_Tool wikiPageExternalLink www.utah.edu.
- ISP_Formal_Verification_Tool wikiPageID "21770993".
- ISP_Formal_Verification_Tool wikiPageRevisionID "404741495".
- ISP_Formal_Verification_Tool hasPhotoCollection ISP_Formal_Verification_Tool.
- ISP_Formal_Verification_Tool subject Category:Application_programming_interfaces.
- ISP_Formal_Verification_Tool subject Category:Parallel_computing.
- ISP_Formal_Verification_Tool 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.".
- ISP_Formal_Verification_Tool label "ISP Formal Verification Tool".
- ISP_Formal_Verification_Tool sameAs m.05mspsg.
- ISP_Formal_Verification_Tool sameAs Q5974482.
- ISP_Formal_Verification_Tool sameAs Q5974482.
- ISP_Formal_Verification_Tool wasDerivedFrom ISP_Formal_Verification_Tool?oldid=404741495.
- ISP_Formal_Verification_Tool isPrimaryTopicOf ISP_Formal_Verification_Tool.