You are here

GUI

Graphical User Interface (GUI) enables using other modules from the level of a Java-based application. Its core features are:

  • visualisation of timed automata
  • generator of temporal formulas
  • calling appropriate tools
  • access to predefined examples and benchmarks

Back to top