Property |
Value |
dbo:abstract
|
- 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)
- 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
|
- 6316 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:charte
| |
prop-fr:création
| |
prop-fr:date
|
- annuelle, en juillet (fr)
- annuelle, en juillet (fr)
|
prop-fr:localisation
|
- alternativement en Amérique du Nord et en Europe (fr)
- alternativement en Amérique du Nord et en Europe (fr)
|
prop-fr:nom
|
- Computer Aided Verification (fr)
- Computer Aided Verification (fr)
|
prop-fr:siteWeb
| |
prop-fr:type
|
- Conférence académique (fr)
- Conférence académique (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
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)
- 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)
|
rdfs:label
|
- Computer Aided Verification (fr)
- Computer Aided Verification (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:homepage
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |