International Conference on Computer Aided Verification (CAV)

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:conference
gptkbp:abbreviation CAV
gptkbp:acceptsSubmissions research papers
case studies
system descriptions
tool papers
gptkbp:category top-tier conference in formal methods
gptkbp:field computer science
formal methods
automated verification
gptkbp:focus theory and practice of computer-aided formal analysis of software and hardware systems
gptkbp:frequency annual
https://www.w3.org/2000/01/rdf-schema#label International Conference on Computer Aided Verification (CAV)
gptkbp:languageOfName gptkb:Springer
gptkbp:location varies annually
gptkbp:notableWinner gptkb:CAV_Award
gptkbp:proceedingsSeries gptkb:Lecture_Notes_in_Computer_Science
gptkbp:sponsor gptkb:SIGLOG
gptkb:EATCS
gptkbp:startYear 1989
gptkbp:website https://i-cav.org/
gptkbp:bfsParent gptkb:NuSMV:_a_new_symbolic_model_checker
gptkbp:bfsLayer 7