MINA: A Tool for Verification of Programs with an Unbounded Number of Threads

Authors:Holík Lukáš, Turoňová Lenka, Vojnar Tomáš
Type:software
Created:2018
Licence:required - no fee
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/
Research groups:
Departments:
Licence terms:
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Your IPv4 address: 54.167.15.6
Switch to IPv6 connection

DNSSEC [dnssec]