Product detail

Tool for verification of systems described using the Modechart formalism

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

Product type

software

Abstract

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.

Keywords

verification, Modechart, RRTL, real-time

Create date

14. 12. 2010

Location

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

Possibilities of use

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

Licence fee

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

www

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