Formale Methoden

Formale Methoden sind mathematisch-logische Methoden für den Entwurf, die Modellierung und die Analyse von IT-Systemen mit dem Ziel das anforderungsgemäße Funktionieren zunehmend komplexer Systeme sicherzustellen.

Zielgruppe

Studierende des Masterstudiengangs Informatik

Form: Wahlmodul

Seminaristischer Unterricht 4 SWS

Themen

Bounded Model Checking
Light-Weight Formal Methods
Model Checking
Programmverifikation

Literatur

Bounded Model Checking
- CBMC
Light-Weight Formal Methods
- Alloy
Model Checking
- TLA+
Programmverifikation
- Dafny
- Frama-C mit WP-Plugin
- Buch: K. Leino, Program Proofs

Um unsere Webseite für Sie optimal zu gestalten und fortlaufend verbessern zu können, verwenden wir Cookies. Weitere Informationen und die Möglichkeit zum Widerruf finden Sie in unserer Datenschutzerklärung.

Seite drucken