Detail aplikovaného výsledku

Tool for verification of systems described using the Modechart formalism

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

Originální název

Tool for verification of systems described using the Modechart formalism

Anglický název

Tool for verification of systems described using the Modechart formalism

Druh

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.

Abstrakt anglicky

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

Klíčová slova anglicky

verification, Modechart, RRTL, real-time

Umístění

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

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

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

www

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