Detail produktu
MINA: A Tool for Verification of Programs with an Unbounded Number of Threads
Vznik: 2018
Název česky
MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken
Typ
software
Licence
vyžadována - zdarma
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Popis
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.
Umístění
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/
Licence
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).
Projekty
AQUAS: Agregované metody řízení kvality (8A17001)
Bezpečné a spolehlivé počítačové systémy (FIT-S-17-4014)
ROBUST - Verifikace a hledání chyb v pokročilém softwaru (GA17-12465S)
Bezpečné a spolehlivé počítačové systémy (FIT-S-17-4014)
ROBUST - Verifikace a hledání chyb v pokročilém softwaru (GA17-12465S)
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)