Benchi: Měření výkonnosti CHC řešiče
| Thesis title in Czech: | Benchi: Měření výkonnosti CHC řešiče |
|---|---|
| Thesis title in English: | Benchi: Benchmarking for CHC Solver |
| Academic year of topic announcement: | 2025/2026 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | |
| Department: | Department of Distributed and Dependable Systems (32-KDSS) |
| Supervisor: | doc. RNDr. Jan Kofroň, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 26.11.2025 |
| Date of assignment: | 27.11.2025 |
| Confirmed by Study dept. on: | 01.12.2025 |
| Guidelines |
| Verifikační nástroje jsou komplexními softwarovými díly, a při jejich vývoji tak může docházet k úpravám vedoucím k nechtěným regresím. Monitorování funkčnosti a výkonu ve smyslu času a paměti potřebného pro běh verifikačního nástroje je tedy velmi žádoucí.
Cílem této bakalářské práce je navrhnout a implementovat nástroj, který by umožňoval spouštět, ať už v pravidelných intervalech nebo podle potřeby, verifikační nástroj Golem [1] (CHC řešič) nad definovanými vstupy (benchmarky) a výsledky prezentoval prostřednictvím (ideálně webové) aplikace uživateli. Konkrétně tedy půjde o dvě části – backend zajišťující generování dat o bězích nástroje a frontend zobrazující tato data uživateli. |
| References |
| [1] Golem: https://github.com/usi-verification-and-security/golem
[2] React: The library for web and native user interfaces – https://react.dev/ [3] Typescript: https://www.typescriptlang.org/ |