Detail aplikovaného výsledku

Tool for verification of systems specified in RT-Logic language

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

Originální název

Tool for verification of systems specified in RT-Logic language

Anglický název

Tool for verification of systems specified in RT-Logic language

Druh

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.

Abstrakt aglicky

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

Klíčová slova anglicky

verifikace, RRTL, reálný čas

Umístění

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

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