Bibliograph.
Daten | Mazlum, Okan: Techniken zur Unterstützung von Korrektheitsbeweisen bei Basiswechsel-Algorithmen.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Bachelorarbeit Nr. 19 (2023).
53 Seiten, deutsch.
|
|---|
| Kurzfassung | In dieser Bachelorarbeit wird ein formaler Korrektheitsbeweis für einen Basiswechsel- Algorithmus bei der Polynominterpolation überarbeitet. Darauf basierend wird ein Basiswechsel-Algorithmus für lineare Splines eingeführt. Es werden Möglichkeiten erforscht Teile eines Korrektheitsbeweises zu automatisieren. Dafür wird das auf dem Hoare-Kalkül basierende Werkzeug “KeY†eingesetzt. Schließlich ist ein Java Programm entstanden, das erlaubt Basiswechsel-Algorithmen zu visualisieren.
|
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Systeme, Simulation großer Systeme
|
|---|
| Betreuer | Schulte, Prof. Miriam; Zimmer, Dr. Stefan |
|---|
| Eingabedatum | 14. September 2023 |
|---|