The topic assignment is done. The assigned tutorial number on the “Personal Status” page represents your topic, the sources can be found at “Materials”. If any questions arise, feel free to contact your advisor (tutor). See you on Wednesday!
The registration is open! Please register until Wednesday. Our first meeting is this week on Wednesday the 14th at 2:15pm, please find the zoom link at “Information -> Zoom Meeting”.
Software is used in more and more applications where errors seriously affect the safety and/or security of the system. How can we ensure that the programs work as intended? In this proseminar, we will study a broad spectrum of techniques that increase the quality of software through the use of formal methods. We will discuss and compare formal software models, process algebras, specification techniques, and techniques for automated testing and automatic verification.
In detail, we will cover the following topics:
- Logic and Theorem Proving
- Modeling Software Systems
- Formal Specification
- Automatic Verification
- Deductive Software Verification
- Synthesis of Reactive Systems
- Process Algebra and Equivalences
- Real-time Systems
- Runtime Verification
- Software Testing
- Formal Methods for Machine Learning Systems
The proseminar is designed to teach how to give a scientific presentation. You read up on a topic, summarize it, and present your findings to the other participants. Literature is only available in English, and we encourage presentations in English. Nevertheless, German is allowed, too.
In detail, the proseminar is structured as follows:
- Initially, we provide general advice on preparing and delivering a scientific presentation.
- Then, you are assigned to an individual topic. Together with your advisor, you familiarize yourself with your topic and prepare a presentation. You then give an ungraded practice presentation and receive detailed feedback from all participants.
- You will have the chance to incorporate this feedback before giving a final, graded presentation.
- Lastly, we expect you to submit a summary at the end of the semester.
We expect you to have passed Programming 1.