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 |
---|