On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool