| AYAZIOVÁ, Paulína and Jan STREJČEK. Symbiotic-Witch 2. 2023. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Symbiotic-Witch 2 |
| Authors | AYAZIOVÁ, Paulína and Jan STREJČEK. |
| Edition | 2023. |
| Other information | |
|---|---|
| Original language | English |
| Type of outcome | Software |
| Field of Study | 10201 Computer sciences, information science, bioinformatics |
| Country of publisher | Czech Republic |
| Confidentiality degree | is not subject to a state or trade secret |
| WWW | Odkaz na stránku software |
| Organization unit | Faculty of Informatics |
| Keywords in English | Witch;witness-validator;SV-COMP;verification witness |
| Technical parameters | 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ů. |
| Tags | International impact |
| Changed by | Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 7/11/2023 15:49. |
| Links | |
|---|---|
| MUNI/A/1145/2021, interní kód MU | Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Acronym: SV-FI MAV XI.) |
| Investor: Masaryk University | |
PrintDisplayed: 18/10/2024 00:24