Applied result detail

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

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

Original Title

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

English Title

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

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

Abstract in English

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

Key words in English

verification, parallel, programs, abstraction, refinement, unfolding

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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