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: 29. 9. 2024 04:11