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

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

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

verification, parallel, programs, abstraction, refinement, unfolding

The tool allows one to verify programs with an unbounded number of threads. The tool aims at minimizing the size of the invariants used for proving correctness of the given programs

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

Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

AQUAS: Aggregated Quality Assurance for Systems, EU, Horizon 2020, 8A17001, 737475, 2017-2020, completed
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, completed
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, 2017-2019, running

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)