Timetable
- 27.02.2019, 10:00 - 14:00, Munich, Oettingenstr. 67, C003: Lecture
- 27.02.2019, 14:00 - 15:30, Munich, Oettingenstr. 67, C003: Tutorial
Material
All slides are under copyright. All rights reserved.
Additional material:
Literature
- Combining Model Checking and Data-Flow Analysis. Dirk Beyer, Sumit Gulwani, and David Schmidt.
In Handbook on Model Checking, pages 493-540. Springer, 2018.
doi:10.1007/978-3-319-10575-8_16
Preprint
- A Unifying View on SMT-Based Software Verification. Dirk Beyer, Matthias Dangl, and Philipp Wendler.
Journal of Automated Reasoning, 60(3):299--335, 2018.
doi:10.1007/s10817-017-9432-6
Preprint
People
- Speaker: Prof. Dr. Dirk Beyer
- Tutor: Thomas Lemberger,