Formale Methoden Vertiefung

LVAs

• 181.145 VU Computer Aided Verification 6.0 ECTS / 2 Std
• 181.144 UE Computer Aided Verification 3.0 ECTS / 2 Std
• 184.747 VU Software Model Checking 6.0 ECTS / 4 Std

• 188.280 VU Software Testing 3.0 ECTS / 2 Std
• 185.A52 VU Automated Reasoning and Program Verification 3.0 ECTS / 2 Std
• 181.221 SE Seminar Formale Methoden 3.0 ECTS / 2 Std

• 184.703 VU Programmanalyse 3.0 ECTS / 2 Std
• 184.749 VU Semantik von Programmiersprachen 4.5 ECTS / 3 Std
• 185.276 VU Analyse und Verifikation 3.0 ECTS / 2 Std

• 185.206 VO Typsysteme 3.0 ECTS / 2 Std
• 182.733 LU Hybrid Systems 3.0 ECTS / 3 Std
• 182.732 VU Hybrid Systems 3.0 ECTS / 2 Std

Beschreibung

Voraussetzungen