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

Autoři:Holík Lukáš, Turoňová Lenka, Vojnar Tomáš
Typ:software
Vznik:2018
Licence:vyžadována - zdarma
Klíčová slova:verification, parallel, programs, abstraction, refinement, unfolding
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/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
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).

Vaše IPv4 adresa: 34.236.190.216
Přepnout na https