About: Device driver synthesis and verification

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/Driverarch.png?width=300
dbo:wikiPageExternalLink	http://bugassist.mpi-sws.org/ http://dslab.epfl.ch/proj/reveng http://ivy.cs.berkeley.edu/safedrive/ http://junsun.net/hail/ http://nooks.cs.washington.edu/ http://www.carstensinz.de/papers/ProVeCS-2007.pdf https://web.archive.org/web/20170503155847/http:/www.futurechips.org/ http://mtc.epfl.ch/software-tools/blast/index-epfl.php http://www.microsoft.com/presspass/exec/billg/speeches/2002/11-08oopsla.aspx http://www.microsoft.com/whdc/devtools/tools/sdv/default.mspx
dbo:wikiPageWikiLink	dbr:Type_safety dbr:File:Driverarch.png dbr:Computer_hardware dbr:Abstraction_layer dbr:Windows_XP dbr:Device_driver dbr:Linux dbr:Berkeley_Open_Infrastructure_for_Network_Computing dbr:BLAST_model_checker dbr:Kernel_mode dbr:Operating_system dbr:Software dbr:Function_(engineering) dbr:Computer_program dbc:Device_drivers dbr:Memory_safety dbr:Live_variable_analysis dbr:SLAM_project dbr:Technical_support dbr:Software_verification dbr:Metacompiler dbr:Specifications dbr:Device_drivers dbr:Reliability_(engineering)
dbp:date	2010-05-19 (xsd:date) 2011-01-08 (xsd:date)
dbp:url	https://web.archive.org/web/20100519145042/http:/junsun.net/hail/ https://web.archive.org/web/20110108054505/http:/dslab.epfl.ch/proj/reveng
dbp:wikiPageUsesTemplate	dbt:Context dbt:Reflist dbt:Multiple_issues dbt:Lead_rewrite dbt:Cleanup_reorganize dbt:Webarchive
dct:subject	dbc:Device_drivers
gold:hypernym	dbr:Program
rdfs:label	Device driver synthesis and verification (en)
owl:sameAs	freebase:Device driver synthesis and verification wikidata:Device driver synthesis and verification dbpedia-global:Device driver synthesis and verification
prov:wasDerivedFrom	wikipedia-en:Device_driver_synthesis_and_verification?oldid=1253382241&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Driverarch.png
foaf:isPrimaryTopicOf	wikipedia-en:Device_driver_synthesis_and_verification
is dbo:wikiPageRedirects of	dbr:Device_Driver_Synthesis_and_Verification dbr:Hardware-software_codesign
is dbo:wikiPageWikiLink of	dbr:Device_driver dbr:Device_Driver_Synthesis_and_Verification dbr:Hardware-software_codesign
is foaf:primaryTopic of	wikipedia-en:Device_driver_synthesis_and_verification