Product detail

Tool for verification of systems specified in RT-Logic language

FIEDOR, J. GACH, M. Č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 specified in RT-Logic language.

Keywords

verifikace, RRTL, reálný čas

Create date

14. 12. 2010

Location

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

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