Jump to content

Computer Aided Verification

Edit links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by DBeyer (talk | contribs) at 04:38, 30 September 2007 (→External links: DBLP added). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.


Stub icon

This computing article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Computer_Aided_Verification&oldid=161252449"