Program

Session 1
  • Cooperative Verification
    Speaker:
    Dirk Beyer, LMU Munich
  • Cooperation between Automatic and Interactive Software Verifiers (PDF)
    Speaker:
    Martin Spiessl, LMU Munich
Coffee Break
Session 2
  • Overview of Cooperative Verification Approaches (PDF)
    Speaker:
    Sudeep Kanav, LMU Munich
  • Static Analysis + Runtime Verification - Combination Patterns from the Literature (PDF)
    Speaker:
    Marie-Christine Jakobs, Technical University of Darmstadt
  • Non-termination proofs from tests for C programs
    Speaker:
    Ravindra Metta, Tata Consultancy Services
  • Modular Bounded Model Checking for Software Verification (PDF)
    Speaker:
    Marko Kleine B√ľning, Karlsruhe Institute of Technology
Lunch
Session 3
  • Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR (PDF)
    Speaker:
    Thomas Lemberger, LMU Munich
  • Unifying Cooperation of Over- and Underapproximative Verification Techniques (PDF)
    Speaker:
    Jan Haltermann, Carl von Ossietzky University Oldenburg
  • Backwards Compatibility and its Effect on Cooperative Analysis (PDF)
    Speaker:
    Felix Pauck, University of Paderborn
  • Effective strategies for black-box combinations in Software Verification (PDF)
    Speaker:
    Cedric Richter, Carl von Ossietzky University Oldenburg
Coffee Break and End of Workshop