MINA: A Tool for Verification of Programs with an Unbounded Number of Threads
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
The tool is available at 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).