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.
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. (en)