| Supervisor | Arne Vogel |
| Professor | Prof. Dr. Rüdiger Kapitza |
| IBR Group | DS (Prof. Kapitza) |
| Type | Bachelor Thesis |
| Status | finished |
| Deadline | 2022 |
Formale Verifizierung kann verwendet werden, um Software zuverlässiger zu machen. Mit formaler Verifikation können Algorithmen automatisch daraufhin überprüft werden, ob sie korrekt sind oder nicht. So können wir sicher sein, dass unsere Algorithmen genau das tun, was wir von ihnen erwarten. Ein Werkzeug, das sowohl Spezifikationen von Algorithmen formal verifizieren als auch automatisch C++ aus den Spezifikationen erzeugen kann, ist Ivy. Ivy verfügt über eine Standardbibliothek mit verschiedenen vordefinierten Datenstrukturen. Derzeit sind diese noch recht begrenzt. In dieser Arbeit soll Ivy um eine Baumstruktur erweitert werden. Hierfür gibt es verschiedene Ansätze. Diese sollten auf ihre Machbarkeit hin evaluiert werden. Der beste Ansatz soll anschließend in Ivy implementiert werden. Abschließend sollte der von Ivy generierte Code durch einen Benchmark mit nativem Code verglichen werden. Bei Interesse wenden Sie sich bitte per E-Mail unter Angabe Ihres Studiengangs, Fachsemesters, Programmierkenntnissen sowie ggf. Vertiefungsrichtung an Arne Vogel. | |