Computer-aided Verification, SeattleWA, Vereinigte Staaten

Abbrevation

CAV

Link

http://www.easychair.org/FLoC-06/CAV.html

City

SeattleWA

Country

United States

Deadline Paper

2006-04-03

Start Date

2006-08-16

End Date

2006-08-20

Abstract

The CAV′06 conference is the 18th in a series dedicated to the advancement of the theory and practice of computer–assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer–Verlag Lecture Notes in Computer Science series. <b>Keywords:</b>