Bachelor theses
A Benchmarking Framework for Evaluating Rotor Models
Author
Matěj Schrödl
Year
2025
Type
Bachelor thesis
Supervisor
prof. Christoph Kirsch
Reviewers
prof. Jan Vitek, MSc., Ph.D.
Department
Summary
This thesis focuses on the development of a platform for evaluating SMT models generated from machine code. The goal is to present a framework that is able characterize such models, evaluate them using various SMT solvers, and enables comparison with more conventional SMT models. In addition to developing the platform, the thesis also demonstrates its practical application through several comparative benchmark tests. This platform is intended to support further development in the field of machine code verification and serve as a tool for analyzing SMT solvers.