In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. It is one of the highest-ranked conferences in computer science. Among the important results originally published in CAV are breakthrough techniques in model checking, such as Counterexample-Guided Abstraction Refinement (CEGAR) and partial order reduction.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Computer Aided Verification (en)
- Computer Aided Verification (fr)
|
rdfs:comment
| - La conférence Computer Aided Verification (abrégé en CAV) est un congrès scientifique annuel sur la théorie et la pratique de l'analyse formelle assistée par ordinateur de logiciels et matériels. C'est une des conférences les mieux classées en informatique. Plusieurs articles historiques sur les techniques de vérification de modèles ont été présentés à CAV, tels que « Counterexample-Guided Abstraction Refinement » et des méthodes de réduction par ordre partiel comme « A Stubborn Attack On State Explosion ». (fr)
- In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. It is one of the highest-ranked conferences in computer science. Among the important results originally published in CAV are breakthrough techniques in model checking, such as Counterexample-Guided Abstraction Refinement (CEGAR) and partial order reduction. (en)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. It is one of the highest-ranked conferences in computer science. Among the important results originally published in CAV are breakthrough techniques in model checking, such as Counterexample-Guided Abstraction Refinement (CEGAR) and partial order reduction. The first CAV was held in 1989 in Grenoble, France. The CAV proceedings (1989-present) are published by Springer Science+Business Media and are open access. (en)
- La conférence Computer Aided Verification (abrégé en CAV) est un congrès scientifique annuel sur la théorie et la pratique de l'analyse formelle assistée par ordinateur de logiciels et matériels. C'est une des conférences les mieux classées en informatique. Plusieurs articles historiques sur les techniques de vérification de modèles ont été présentés à CAV, tels que « Counterexample-Guided Abstraction Refinement » et des méthodes de réduction par ordre partiel comme « A Stubborn Attack On State Explosion ». (fr)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is academic discipline
of | |
is award
of | |
is foaf:primaryTopic
of | |