22. SPIN 2015: Stellenbosch, South Africa

Invited Contribution

Abstraction, Refinement, Translation

Büchi Automata and Hashing

Embedded Systems

Heuristics and Benchmarks

SAT/SMT-Based Approaches

Software Validation and Verification

maintained by Schloss Dagstuhl LZI at University of Trier