Detail produktu

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

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

Typ produktu

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

Klíčová slova

verification, parallel, programs, abstraction, refinement, unfolding

Datum vzniku

29. 1. 2018

Umístění

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

Možnosti využití

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

Licenční poplatek

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

www