Software is being used in all parts of daily life. It controls a multitude of systems such as cars, elevators, mobile phones, or production facilities. Software defects lead to increasing costs and can cause severe damage. In order to detect such bugs as early as possible, formal verification methods are applied. Such methods are able to analyze and verify software.
The topic of this seminar are advanced methods for verifying the quality and correctness of embedded software. Hence, these methods increase safety and reliability of the overall systems.
The seminar covers the following topics: