Computer Aided Verification

<p>In <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, the International Conference on Computer-Aided Verification (CAV) is an annual <a href="/facts/Academic_conference/0YAVfxe3">academic conference</a> on the theory and practice of computer-aided formal analysis of <a href="/facts/Software_system/mglVMfTA">software</a> and <a href="/facts/Computer_hardware/8jSjsCNv">hardware</a> systems, broadly known as <a href="/facts/Formal_methods/tw4FCWIb">formal methods</a>. Among the important results originally published in CAV are techniques in <a href="/facts/Model_checking/FwvKMlw9">model checking</a>, such as Counterexample-Guided Abstraction Refinement and <a href="/facts/Partial_order_reduction/SHkcqWzV">partial order reduction</a>. It is often ranked among the top conferences in computer science. 
</p><p>The first CAV was held in 1989 in <a href="/facts/Grenoble/KIBbRRaF">Grenoble</a>, <a href="/facts/France/CxIeIKM3">France</a>. The CAV proceedings (1989-present) are published by <a href="/facts/Springer_Science%252BBusiness_Media/nAesf6nT">Springer Science+Business Media</a>. They have been <a href="/facts/Open_access/r7rLYN6C">open access</a> since 2018. The annual CAV Award was established in 2008. The list of recipients and citations can be found at <a href="https://i-cav.org/cav-award/">https://i-cav.org/cav-award/</a>.
</p>

Computer Aided Verification open-in-new

Computer Aided Verification