Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.