Model Checking

Winter semester

Event numbers: 43MBE1023V (Lecture) und 43MBE1024V (Exercise)

Exam: written

Topics

• Temporal Model-Checking
• Deductive Program Verification

Ablauf

Lecture and exercise take place on-site in class-room.

To participate, enroll in the course in Unisono and Moodle.

Lecture and exercise materials as well as announcements are published in the Moodle course.

Moodle-Link: right here

Weekly procedure during the semester:

• On-site lecture in class-room.
• Exercise sheet and exercise appointment on-site in class-room:
  • Starts in the second lecture week.
  • During the exercise appointments the current exercise sheet is worked through collaboratively.
  • There is no formal submission requirement, but the participation is highly recommended as preparation for the exam!

Zugeordnete Personen

• Prof. Dr. rer. nat. Malte Lochau