Fachliche und methodische Kenntnisse:

• Kenntnis unterschiedlicher Spezifikationsformalismen, ihrer Semantik und ihrerAnwendungsgebiete
• Kenntnis unterschiedlicher Verifikationstools
• Verständnis grundlegender Methoden der Modellierung in Hinsicht auf Verifikationsfragen
• Beispielhafte Kenntnisse zu Zertifikation und Industriestandards in Hinsicht aufVerifikation

Kognitive und praktische Fertigkeiten:

• Praktischer Umgang mit Spezifikationsformalismen hinsichtlich ihrer Semantik und hinsichtlich Requirement Engineering
• Praktischer Umgang mit Verifikationstools
• Praktische Modellierung und Verifikation von Systemen und Interpretation derErgebnisse

Soziale Kompetenzen, Innovationskompetenz und Kreativität:

• Verständnis für das Gefahrenpotential fehlerhafter Software und Hardware
• Verständnis für die Bedeutung formaler Methoden in der Produktentwicklung
• Anwendung theoretischer Konzepte auf angewandte Fragestellungen

• Methoden der Modellierung und Spezifikation durch Logik, Automaten, Assertions, Coverage Kriterien
• Verifikationswerkzeuge, insbesonders Model Checker, Statische Analyse, Theorembeweisen, Testen
• Praktischer Umgang mit Verifikationswerkzeugen
• Grundlagen zur Zertifizierung und zu Standards in der industriellen Validierung

ECTS Breakdown:

36h Vorlesung
114h Übungen
---------------------------
150h in Summe (6 ECTS)
---------------------------