20th CAV 2008: Princeton, NJ, USA

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics