Benjamin Delaware

Eine Methode, um Datenstrukturen automatisch gegen Repräsentationsinvarianten mit fortgeschrittenen Techniken zu überprüfen.

Neue Methoden zur Verbesserung der Beweisverifizierung in der Softwaretechnik erkunden.