Detail aplikovaného výsledku

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

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

Originální název

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

Anglický název

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

Druh

Software

Abstrakt

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

Abstrakt aglicky

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

Klíčová slova

verification, parallel, programs, abstraction, refinement, unfolding

Klíčová slova anglicky

verification, parallel, programs, abstraction, refinement, unfolding

Umístění

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

Licenční poplatek

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

www

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