About: ISP Formal Verification Tool

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Verification tool for MPI (Message Passing Interface) programs

Property	Value
dbo:description	verification tool for MPI (Message Passing Interface) programs (en)
dbo:wikiPageExternalLink	http://dps.epfl.ch/dynamicdps.pdf http://ext.math.umass.edu/~avrunin/papers/siegel08-parallel_numerical_tosem.pdf http://ppopp09.rice.edu/ http://pvmmpi08.ucd.ie/ http://www.cs.utah.edu/formal_verification/ISP-release http://www.cs.utah.edu/formal_verification/publications/conferences/pdf/europvm-mpi-07.pdf http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.90.4722&rep=rep1&type=pdf http://infoscience.epfl.ch/getfile.py%3Fdocid=21443&name=vdoma08&format=pdf&version=1 http://research.ihost.com/ppopp08/ http://www.cs.ucsd.edu/~voelker/pubs/mpiwiz-ppopp09.pdf http://www.haifa.il.ibm.com/Workshops/padtad2008/
dbo:wikiPageWikiLink	dbr:Model_checking dbc:Application_programming_interfaces dbc:Parallel_computing dbr:Message_Passing_Interface dbr:Linux dbr:Microsoft_Windows dbr:SPIN_model_checker dbr:Eclipse_(software) dbr:Visual_Studio dbr:Mac_OS_X dbr:MPICH2 dbr:OpenMPI dbr:Model_checkers
dbp:date	2008-04-18 (xsd:date) 2008-09-30 (xsd:date) 2009-02-08 (xsd:date) 2016-06-10 (xsd:date)
dbp:url	https://web.archive.org/web/20080418225954/http:/www.cs.utah.edu/formal_verification/publications/conferences/pdf/europvm-mpi-07.pdf https://web.archive.org/web/20080930092023/http:/www.haifa.il.ibm.com/Workshops/padtad2008/ https://web.archive.org/web/20090208035141/http:/research.ihost.com/ppopp08/ https://web.archive.org/web/20160610003339/http:/dps.epfl.ch/dynamicdps.pdf
dbp:wikiPageUsesTemplate	dbt:Webarchive
dct:subject	dbc:Application_programming_interfaces dbc:Parallel_computing
gold:hypernym	dbr:Tool
rdfs:label	ISP Formal Verification Tool (en)
owl:sameAs	freebase:ISP Formal Verification Tool wikidata:ISP Formal Verification Tool dbpedia-global:ISP Formal Verification Tool dbr:ISP Formal Verification Tool
prov:wasDerivedFrom	wikipedia-en:ISP_Formal_Verification_Tool?oldid=1266764444&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:ISP_Formal_Verification_Tool
is dbo:wikiPageDisambiguates of	dbr:ISP_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:ISP_(disambiguation)
is foaf:primaryTopic of	wikipedia-en:ISP_Formal_Verification_Tool