Link zur Homepage:
Dieses Praktikum wird in Zusammenarbeit mit dem Lehrstuhl Anwendungsorientierte Formale Verifikation von Prof. Beckert angeboten.
Die Homepage für diese Veranstaltung finden Sie unter der URL http://formal.iti.kit.edu/lehre_256.php
Vortragssprache:
Deutsch
Beschreibung:
Praktischer Umgang mit Spezifikationsprachen und Verifikationswerkzeugen für objektorientierte Software, wie beispielsweise
- Spezifikationssprachen: OCL, JML und JavaDL
- Verifkationswerkzeuge: Event-B, rac, ESC/Java2 und KeY
Kommentar:
Lernziele
Die Fähigkeit Werkzeuge zur Spezifikation und Verifikation von objektorientierter Software pratkisch einzusetzen.
Inhalt
Praktischer Umgang mit Spezifikationsprachen und Verifikationswerkzeugen für objektorientierte Software, wie beispielsweise
- Spezifikationssprachen: OCL, JML und JavaDL
- Verifkationswerkzeuge: Event-B, rac, ESC/Java2 und KeY