The edition of the seminar deals with topics in the area of incremental verification. The goal of incremental verification is to speed up (re)verification of a program wrt. a property after the program or the property is modified.
Under the guidance of your supervisor you will
- use the given literature and search for additional literature to become acquainted with your topic,
- prepare and give a presentation about your topic and afterwards discuss the topic with the other participants,
- write a scientific report, which provides a summary of your topic.
- Dozent*in: Marie-Christine Jakobs