Faculty of Information Technology, BUT

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
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
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Back to top