MINA: A Tool for Verification of Programs with an Unbounded Number of Threads

MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Holíková Lenka, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)

verification, parallel, programs, abstraction, refinement, unfolding

Tento nástroj umožňuje verifikaci programů s neomezeným počtem vláken. Nástroj se zaměřuje na nalezení co nejmenšího invariantu postačujícího pro verifikaci daného programu.

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

AQUAS: Agregované metody řízení kvality, EU, Horizon 2020, 8A17001, 737475, 2017-2020, ukončen
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, 2017-2019, řešení

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)