Formal Methods in System Design
Formale Methoden im Systementwurf
6 CPirregularlyENBeing phased out
Prerequisites
Recommended, as written
Diploma / Master in computer science, computer engineering, electrical engineering.
Contents
The module contains 2-4 block tutorials at post-graduate level, selected upon demand and availability, list of courses is available and updated (see attachment to programme of studies).
Learning outcomes
Participants become familiar with state-of-the-art formal methods for design, verification and test of complex hardware / software systems.
Assessment
• Oral examination, 30 min. OR • Presentation and interview covering a set of tutorials, 60 min. The actual form of the examination will be anounced at the beginning of the course.
Literature (1)
- Students get web-access to available materials from all related courses.
Remarks
Module content can be composed according to available tutorials.
Source: BTU's module description · retrieved 15 Oct 2026Original