20. CAV 2008: Princeton, NJ, USA

Invited Talks

Invited Tutorials

Concurrency

Memory Consistency

Abstraction/Refinement

Hybrid Systems

Tools - Dynamic Verification

Modeling and Specification Formalisms

Decision Procedures

Tools - Decision Procedures

Program Verification

Program and Shape Analysis

Tools - Security and Program Analysis

Hardware Verification I

Hardware Verification II

Model Checking

Space Efficient Algorithms

Tools - Model Checking