FM 2009: Eindhoven, The Netherlands

Invited Papers

Model Checking I

Compositionality

Verification

Concurrency

Refinement

Static Analysis

Theorem Proving

Semantics

Special Track: Industrial Applications I

Object-Orientation

Pointers

Real-Time

Special Track: Tools and Industrial Applications II

Model Checking II

Industry-Day Abstracts