Přístupnostní navigace
E-application
Search Search Close
Applied result detail
GACH, M.; FIEDOR, J.; ČEŠKA, M.
Original Title
Tool for verification of systems described using the Modechart formalism
English Title
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.
Abstract in English
Keywords
verification, Modechart, RRTL, real-time
Key words in English
Location
http://www.fit.vutbr.cz/research/groups/verifit/tools/verif
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