Fakulta informačních technologií VUT v Brně

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
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).
Nahoru