14. SPIN 2007: Berlin, Germany

Invited Contributions

Directed Model Checking

Partial Order Reduction

Program Analysis

Exploration Advances

Modeling and Cases

Tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics