Download the newest versions of Ecdar here: 2022-09-08

  • The j-Ecdar engine has been added

  • The Reveaal engine has been updated

  • The GUI now supports components generated by the engines through query execution (using the get query type)

  • The backend communication has been updated to use a more robust concurrency approach

  • Minor updates to the GUI:

    • Pop-up displaying query result information when the status icon is clicked added
    • ‘Launching ECDAR…’ is now printed out in the launched terminal
    • Disappearing icons for zoom operations and query status has been fixed
    • Validation of component names and queries to avoid unsupported characters
    • Channels used for both input and output are now colored red, to signal an error

Old versions on GitHub