Program
Session 1
–
-
Cooperative VerificationSpeaker: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 programsSpeaker: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
–