Product detail

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

HOLÍK, L. TUROŇOVÁ, 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.01.2018

Location

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

www