CAV
E900203
CAV (Computer Aided Verification) is a leading international conference focused on the theory and practice of computer-aided formal methods for the verification and analysis of hardware and software systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CAV canonical | 1 |
Statements (56)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
ⓘ
computer science conference ⓘ |
| audience |
graduate students in computer science
ⓘ
researchers in formal methods ⓘ researchers in hardware design and verification ⓘ researchers in software engineering ⓘ tool developers for verification ⓘ |
| field |
automated reasoning
ⓘ
computer-aided verification ⓘ formal methods ⓘ hardware verification ⓘ model checking ⓘ program analysis ⓘ software verification ⓘ theoretical computer science ⓘ |
| focus |
computer-aided formal methods
ⓘ
verification and analysis of hardware systems ⓘ verification and analysis of software systems ⓘ |
| fullName | Computer Aided Verification NERFINISHED ⓘ |
| goal |
advance the practice of computer-aided verification
ⓘ
advance the theory of computer-aided verification ⓘ bridge theory and practice in formal methods ⓘ |
| hasPart |
invited talks
ⓘ
research paper presentations ⓘ tool demonstrations ⓘ tutorials ⓘ workshops ⓘ |
| language | English ⓘ |
| output | peer-reviewed conference proceedings ⓘ |
| recurrence | annual ⓘ |
| scope | international ⓘ |
| topic |
SAT and SMT solving for verification
ⓘ
abstraction and refinement techniques ⓘ automata theory in verification ⓘ compositional verification ⓘ counterexample-guided abstraction refinement ⓘ decision procedures ⓘ hardware model checking ⓘ hybrid systems verification ⓘ industrial case studies in verification ⓘ interpolation and Craig interpolants ⓘ model checking algorithms ⓘ runtime verification ⓘ software model checking ⓘ software testing integrated with verification ⓘ specification languages for verification ⓘ static analysis ⓘ symbolic execution ⓘ temporal logics ⓘ theorem proving for verification ⓘ tool development for verification ⓘ verification of concurrent systems ⓘ verification of cyber-physical systems ⓘ verification of distributed systems ⓘ verification of embedded systems ⓘ verification of security protocols ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.