Chapter 3

Tools & API

  • The main graphical user interface: UPPAAL
  • Command line interface to verifier: verifyta
  • Java model editor, simulator and verifier interface: Java API
  • Connect GUI to a remote server via TCP/IP sockets: socketserver
  • Running engine inside Docker: docker
  • Document and trace file formats: file formats
  • Including UPPAAL models into LaTeX publications: LaTeX