Benchi: Měření výkonnosti CHC řešiče
| Název práce v češtině: | Benchi: Měření výkonnosti CHC řešiče |
|---|---|
| Název v anglickém jazyce: | Benchi: Benchmarking for CHC Solver |
| Akademický rok vypsání: | 2025/2026 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | |
| Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: | doc. RNDr. Jan Kofroň, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 26.11.2025 |
| Datum zadání: | 27.11.2025 |
| Datum potvrzení stud. oddělením: | 01.12.2025 |
| Zásady pro vypracování |
| 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. |
| Seznam odborné literatury |
| [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/ |