Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/ISP_Formal_Verification_Tool> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples 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 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 mpiwiz-ppopp09.pdf.
- 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 wikiPageID "21770993".
- ISP_Formal_Verification_Tool wikiPageLength "5247".
- ISP_Formal_Verification_Tool wikiPageOutDegree "15".
- ISP_Formal_Verification_Tool wikiPageRevisionID "683111984".
- ISP_Formal_Verification_Tool wikiPageWikiLink Category:Application_programming_interfaces.
- ISP_Formal_Verification_Tool wikiPageWikiLink Category:Parallel_computing.
- ISP_Formal_Verification_Tool wikiPageWikiLink Eclipse_(software).
- ISP_Formal_Verification_Tool wikiPageWikiLink Linux.
- ISP_Formal_Verification_Tool wikiPageWikiLink MPICH2.
- ISP_Formal_Verification_Tool wikiPageWikiLink Mac_OS_X.
- ISP_Formal_Verification_Tool wikiPageWikiLink Message_Passing_Interface.
- ISP_Formal_Verification_Tool wikiPageWikiLink Microsoft_Visual_Studio.
- ISP_Formal_Verification_Tool wikiPageWikiLink Microsoft_Windows.
- ISP_Formal_Verification_Tool wikiPageWikiLink Model_checkers.
- ISP_Formal_Verification_Tool wikiPageWikiLink Model_checking.
- ISP_Formal_Verification_Tool wikiPageWikiLink OS_X.
- ISP_Formal_Verification_Tool wikiPageWikiLink OpenMPI.
- ISP_Formal_Verification_Tool wikiPageWikiLink Open_MPI.
- ISP_Formal_Verification_Tool wikiPageWikiLink SPIN_model_checker.
- ISP_Formal_Verification_Tool wikiPageWikiLink Visual_Studio.
- ISP_Formal_Verification_Tool wikiPageWikiLinkText "ISP".
- ISP_Formal_Verification_Tool wikiPageWikiLinkText "In-situ Partial Order".
- 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 hypernym Tool.
- ISP_Formal_Verification_Tool type Software.
- 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=683111984.
- ISP_Formal_Verification_Tool isPrimaryTopicOf ISP_Formal_Verification_Tool.