Detail produktu

Tool for verification of systems described using the Modechart formalism

GACH, M. FIEDOR, J. Č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 described using the Modechart formalism. Also one can use this tool to convert system specification from the Modechart formalism to a set of restricted RT-Logic formulae.

Klíčová slova

verification, Modechart, RRTL, real-time

Datum vzniku

14. 12. 2010

Umístění

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

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/verif