Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Formale Methoden und Deduktion |
|
Seminar Theorembeweisen 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
Vorbesprechung:
Donnerstag, 20.02.03, 11:45, 34-420
| Impressum | AG Formale Methoden und Deduktion | Fachbereich Informatik | Technische Universität Kaiserslautern |
|