Product detail

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

HOLÍK, L. HOLÍKOVÁ, L. VOJNAR, T.

Product type

software

Abstract

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

Keywords

verification, parallel, programs, abstraction, refinement, unfolding

Create date

29. 1. 2018

Location

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/

Possibilities of use

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

https://www.fit.vut.cz/research/product/559/