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
Dokumenty