14. SPIN 2007: Berlin, Germany

Invited Contributions

Directed Model Checking

Partial Order Reduction

Program Analysis

Exploration Advances

Modeling and Cases

Tools

maintained by Schloss Dagstuhl LZI, founded at University of Trier