7th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics