Schwergewichtige Blockkontrakte für KeY

Forschungsthema:KeY
Typ: BA / MA
Datum: 2017-07-13
Betreuer: Mattias Ulbrich
Michael Kirsten
Bearbeiter:
Aushang:

Ziel

In order to be able to deal with more complex and larger methods, it is helpful if the method's proof can be split into several subproofs for parts of the methods. This thesis should find and implement a way to deal with such splits using block contracts.

Weitere Informationen folgen. ...

Näheres bei Michael Kirsten oder Mattias Ulbrich erfragbar.

Voraussetzungen

  • Erfahrung im Programmieren mit Java
  • Kenntnisse, wie sie in der Vorlesung Formale Systeme vermittelt werden, sind hilfreich

Betreuung und Kontakt