326.063, Tuesday 16:15-17:45, Room: S2 120, Start: October 5, 2021
This seminar discusses techniques and tools for formal methods and/or automated reasoning such as formal specification languages, program verification systems, model checkers, interactive proof assistants, automated theorem provers, satisfiability solvers, decision procedures, etc. It continues the (previously separated) seminars on formal methods and automated reasoning (Theorema).
To take part in the seminar, you have to enrol in the KUSSS system. If you also login in this Moodle instance and self-register as a course participant (click on the corresponding button), you will receive per
email all forum messages.