Computer Aided Verification conference

E900199

academic conference computer science conference international conference

The Computer Aided Verification (CAV) conference is a leading international research conference focused on the theory and practice of computer-aided formal methods for the verification and analysis of hardware and software systems.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label	Occurrences
Computer Aided Verification conference canonical	1
International Conference on Computer Aided Verification	1
International Conference on Tools and Algorithms for the Construction and Analysis of Systems	1

Statements (57)

Predicate	Object
instanceOf	academic conference ⓘ computer science conference ⓘ international conference ⓘ
abbreviation	CAV NERFINISHED ⓘ
area	verification and analysis of hardware and software systems ⓘ
audience	graduate students in computer science ⓘ researchers in formal methods ⓘ researchers in hardware design ⓘ researchers in software engineering ⓘ tool developers for verification ⓘ
field	automated reasoning ⓘ computer-aided verification NERFINISHED ⓘ formal methods ⓘ hardware verification ⓘ model checking ⓘ program analysis ⓘ software verification ⓘ theoretical computer science ⓘ
focus	analysis of hardware systems ⓘ analysis of software systems ⓘ practice of computer-aided formal methods ⓘ theory of computer-aided formal methods ⓘ verification of hardware systems ⓘ verification of software systems ⓘ
fullName	International Conference on Computer Aided Verification NERFINISHED ⓘ
goal	advance the state of the art in computer-aided verification ⓘ promote the use of formal methods in industry ⓘ
hasComponent	invited talks ⓘ research paper presentations ⓘ tool demonstrations ⓘ tutorials ⓘ workshops ⓘ
language	English ⓘ
scope	international ⓘ
topic	SAT solving in verification ⓘ abstract interpretation ⓘ automata theory in verification ⓘ bounded model checking ⓘ compositional verification ⓘ counterexample generation ⓘ decision procedures ⓘ formal specification ⓘ hardware model checking ⓘ runtime verification ⓘ satisfiability modulo theories ⓘ software model checking ⓘ software testing with formal methods ⓘ static analysis ⓘ symbolic model checking ⓘ temporal logic ⓘ theorem proving for verification ⓘ verification of concurrent systems ⓘ verification of cyber-physical systems ⓘ verification of distributed systems ⓘ verification of embedded systems ⓘ verification of real-time systems ⓘ verification of security protocols ⓘ

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

CAV Award → namedAfter → Computer Aided Verification conference ⓘ

CAV Award → presentedAt → Computer Aided Verification conference ⓘ

this entity surface form: International Conference on Computer Aided Verification

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation → relatedTo → Computer Aided Verification conference ⓘ

this entity surface form: International Conference on Tools and Algorithms for the Construction and Analysis of Systems