CAV 2008

20th International Conference on

Computer Aided Verification (CAV) 2008

July 7 – 14, 2008
Princeton, USA

Workshops

Seven workshops will be held with CAV – three pre-conference, and four post-conference.

July 7, 2008: (Pre-conference)

Exploiting Concurrency Efficiently and Correctly ( (EC2)^2 )
Organizers: Rajeev Alur, Ganesh Gopalakrishnan, Vineet Kahlon, Stephen Siegel
Satisfiability Modulo Theories (SMT)
Organizers: Clark Barrett and Leonardo de Moura

July 8, 2008 (Pre-conference)

(EC)^2 (2^nd day)
SMT (2^nd day)
Numerical abstractions for Software Verification (NSV)
Organizers: Franjo Ivancic, Sriram Sankaranarayanan, and Chao Wang

July 14, 2008: (Post-conference)

Automated Formal Methods (AFM)
Organizers: Bruno Dutertre, Sam Owre, John Rushby, N. Shankar, Ashish Tiwari
Bit-Precise Reasoning (BPR)
Organizers: Domagoj Babic and Amit Goel
Formal verification of Analog Circuits (FAC)
Organizers: Oded Maler and Lars Hedrich
Heap Analysis and Verification (HAV)
Organizers: Josh Berdine, Mooly Sagiv, and Eran Yahav