6. VMCAI 2005: Paris, France

Invited Paper

Numerical Abstraction

Invited Talk

Verification I

Invited Talk

Heap and Shape Analysis

Abstract Model Checking

Model Checking

Applied Abstract Interpretation

Bounded Model Checking

Verification II