Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

 FB Inf

(Integriertes) Seminar Theorembeweisen
zu Vorleseung
Theorembeweisen in der induktiven Theorie im Wintersemester 2003/04

Aufgabenstellung

Es werden Originalarbeiten vorgestellt und diskutiert, die sich mit dem Thema befassen, wie man den Automatisierungsgrad von Korrektheitsbeweisern für Spezifikationen erhöhen kann. Hierzu gehören Erzeugen von Lemmata, Erkennen ungültiger Vermutungen und der Einbau fester Theorien (z.B. lineare Ungleichungen über den ganzen Zahlen oder Listen und Bäume).

Ansprechpartner

Bernd Löchner, 34-408
Tobias Schmidt-Samoa, 34-407
Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!
Letzte Änderung: Wednesday, 26-Oct-05 08:59:18 GMT
www-aven@informatik.uni-kl.de