Formal Methods in System Design
Formale Methoden im Systementwurf
6 LPunregelmäßigENAuslaufmodul
Voraussetzungen
Empfohlen, im Wortlaut
Diploma / Master in computer science, computer engineering, electrical engineering.
Inhalte
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).
Lernziele
Participants become familiar with state-of-the-art formal methods for design, verification and test of complex hardware / software systems.
Prüfungsleistung
• 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.
Literatur (1)
- Students get web-access to available materials from all related courses.
Bemerkungen
Module content can be composed according to available tutorials.
Quelle: Modulbeschreibung der BTU · abgerufen 15.10.2026Original