Computer Aided Verification
From Wikipedia, the free encyclopedia
Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series.
The first CAV was held in 1989 in Grenoble, France. The eighteenth and most recent CAV was part of the Federated Logic Conference in Seattle, USA in August 2006.
CAV traditionally attracts attention from the computer industry.
[edit] External links
 |
This computer-related article is a stub. You can help Wikipedia by expanding it. |
