Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series. Extended versions of selected papers are regularly published as special issues of international computer science journals.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series. Extended versions of selected papers are regularly published as special issues of international computer science journals. The first CAV was held in 1989 in Grenoble, France; so was the 20th anniversary CAV in 2009. CAV traditionally attracts attention from the computer industry.
|
| dbpedia-owl:wikiPageExternalLink
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series. Extended versions of selected papers are regularly published as special issues of international computer science journals.
|
| rdfs:label
|
- Computer Aided Verification
|
| owl:sameAs
| |
| foaf:page
| |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
