Applied result detail

Tool for verification of systems specified in RT-Logic language

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

Original Title

Tool for verification of systems specified in RT-Logic language

English Title

Tool for verification of systems specified in RT-Logic language

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.

Abstract in English

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

Key words in English

verifikace, RRTL, reálný čas

Location

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

Possibilities of use

only the provider uses the result

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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