Detail produktu

Tool for verification of systems specified in RT-Logic language

FIEDOR, J. GACH, M. ČEŠKA, M.

Typ produktu

software

Abstrakt

This tool allows one to check satisfiability of time constrains (entered in a form of restricted RT-Logic formulae) in systems specified in RT-Logic language.

Klíčová slova

verifikace, RRTL, reálný čas

Datum vzniku

14. 12. 2010

Umístění

http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav

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

http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav