News
Final GradesWritten on 16.09.21 by Niklas Metzger The final grades can now be found on the personal status pages. Feel free to contact your advisor if any questions arise. We thank you for your participation in the proseminar and hope you enjoyed it as much as we did! If you want to learn even more about software reliability, we invite you to… Read more The final grades can now be found on the personal status pages. Feel free to contact your advisor if any questions arise. We thank you for your participation in the proseminar and hope you enjoyed it as much as we did! If you want to learn even more about software reliability, we invite you to attend our core lecture Verification in the upcoming semester (link). We hope to see you there and wish you a successful and healthy winter semester! |
Course EvaluationWritten on 01.07.21 by Niklas Metzger After practicing giving feedback for each other for half a semester, it’s now time to try it on us. The Qualis course evaluation is now accessible via the following Link until July 14. We appreciate every feedback! |
Topic AssignmentWritten on 19.04.21 (last change on 19.04.21) by Niklas Metzger 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! |
Registration is openWritten on 12.04.21 (last change on 12.04.21) by Niklas Metzger 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 Reliability
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
- Hyperproperties
- Formal Methods for Machine Learning Systems
Structure
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.
Requirements
We expect you to have passed Programming 1.