R 2023

Symbiotic-Witch 2

AYAZIOVÁ, Paulína a Jan STREJČEK

Základní údaje

Originální název

Symbiotic-Witch 2

Autoři

Vydání

2023

Další údaje

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í

Odkazy

Označené pro přenos do RIV

Ne

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ěněno: 7. 11. 2023 15:49, prof. RNDr. Jan Strejček, Ph.D.

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.