9. Haifa Verification Conference 2013: Haifa, Israel

Session 1: SAT and SMT-Based Verification

Session 2: Software Testing I

Session 3: Software Testing II

Session 4: Supporting Dynamic Verification

Session 5: Specification and Coverage

Keynote Presentation

Session 6: Abstraction

Session 7: Model Representation

maintained by Schloss Dagstuhl LZI at University of Trier