| AYAZIOVÁ, Paulína a Jan STREJČEK. Symbiotic-Witch 2. 2023. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Symbiotic-Witch 2 |
| Autoři | AYAZIOVÁ, Paulína a Jan STREJČEK. |
| Vydání | 2023. |
| Další údaje | |
|---|---|
| Originální jazyk | angličtina |
| Typ výsledku | Software |
| Obor | 10201 Computer sciences, information science, bioinformatics |
| Stát vydavatele | Česká republika |
| Utajení | není předmětem státního či obchodního tajemství |
| WWW | Odkaz na stránku software |
| Organizační jednotka | Fakulta informatiky |
| Klíčová slova anglicky | Witch;witness-validator;SV-COMP;verification witness |
| Technické parametry | Symbiotic-Witch 2 je druhá verze validátoru verifikačních svědků. Tato verze umožňuje potvrdit či zamítnout platnost svědků porušení vlastností "reachability safety", "memory safety", "memory cleanup", a "overflow". V porovnání s předchozí verzí je tato verze efektivnější a přesněji interpretuje sémantiku svědků. |
| Příznaky | Mezinárodní význam |
| Změnil | Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 11. 2023 15:49. |
| Návaznosti | |
|---|---|
| MUNI/A/1145/2021, interní kód MU | Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Akronym: SV-FI MAV XI.) |
| Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. | |
VytisknoutZobrazeno: 19. 7. 2024 12:28