7. FMCAD 2007: Austin, Texas, USA

SAT-Based Methods

High-Level System Analysis

Abstraction-Based Methods

Software Analysis Methods

Symbolic Trajectory Evaluation

Specification Theory

Industrial-Strength Verification

Reasoning about Physical Systems

Advanced Theorem-Proving Applications