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).

Projects
Research groups
Departments
Back to top