| dbo: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)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2891 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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)
|
| rdfs:label
|
- Computer Aided Verification (en)
- Computer Aided Verification (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:academicDiscipline
of | |
| is dbo:award
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
