Computer Aided Verification

Computer Aided Verification

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. Extended versions of selected papers are regularly published as special issues of international computer science journals.

The first CAV was held in 1989 in Grenoble, France; so was the 20th anniversary CAV in 2009.

CAV traditionally attracts attention from the computer industry.[citation needed]

History of the conference

Special Issue: Logical Methods in Computer Science, Selected Papers of the Conference Computer Aided Verification 2005
  • 16th CAV 2004, Boston, MA, USA
  • 15th CAV 2003, Boulder, CO, USA
  • 14th CAV 2002, Copenhagen, Denmark
  • 13th CAV 2001, Paris, France
  • 12th CAV 2000, Chicago, IL, USA
  • 11th CAV 1999, Trento, Italy
  • 10th CAV 1998, Vancouver, Canada
  • 9th CAV 1997, Haifa, Israel
Special Issue: Formal Methods in System Design 18(2), 2001
  • 8th CAV 1996, New Brunswick, NJ, USA
  • 7th CAV 1995, Liege, Belgium
  • 6th CAV 1994, Palo Alto, CA, USA
  • 5th CAV 1993, Elounda, Greece
  • 4th CAV 1992, Montreal, Canada
  • 3rd CAV 1991, Aalborg, Denmark
  • 2nd CAV 1990, New Brunswick, NJ, USA
  • 1st CAV 1989, Grenoble, France

See also

External links