| Bibliography | Mazlum, Okan: Techniken zur Unterstützung von Korrektheitsbeweisen bei Basiswechsel-Algorithmen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 19 (2023).
53 pages, german.
|
|---|
| Abstract | 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.
|
|---|
| Department(s) | University of Stuttgart, Institute of Parallel and Distributed Systems, Simulation of Large Systems
|
|---|
| Superviser(s) | Schulte, Prof. Miriam; Zimmer, Dr. Stefan |
|---|
| Entry date | September 14, 2023 |
|---|