Semantics of Programming Languages

This page provides material for a small part of the above-mentioned course (applications to software verification).

Material

All slides are under copyright. All rights reserved.

• Introduction to Automated Software Verification
• Exercises

Additional material:

• CPAchecker executable (program analysis tool)
• Lab Session

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

People

• Speaker: Thomas Lemberger