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.