Product Details
MINA: A Tool for Verification of Programs with an Unbounded Number of Threads
Created: 2018
Czech title
MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken
Type
software
License
required - free
Authors
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Holíková Lenka, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Holíková Lenka, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords
verification, parallel, programs, abstraction, refinement, unfolding
Description
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
Location
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
AQUAS: Aggregated Quality Assurance for Systems (8A17001)
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware (GA17-12465S)
Secure and Reliable Computer Systems (FIT-S-17-4014)
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware (GA17-12465S)
Secure and Reliable Computer Systems (FIT-S-17-4014)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)