Using uppaal without GUI

[Sun]

We hope to develop a fully (almost) automated safety analysis tool using uppaal.

The inputs are system model and the outputs are the verification results,  processes among inputs and output  are done automatically by tool.

This leads to a problem, the GUI of uppaal is useless, and even cause trouble.

I want to know:

1. uppaal can be used without GUI(for example , in command line)？

2. If so, can I further simulate it on the command line？

Thank everybody for helping

[Marius Mikučionis]

On Wednesday, June 3, 2020 at 2:28:25 PM UTC+2, Sun wrote:

We hope to develop a fully (almost) automated safety analysis tool using uppaal.

The inputs are system model and the outputs are the verification results,  processes among inputs and output  are done automatically by tool.

This leads to a problem, the GUI of uppaal is useless, and even cause trouble.

I want to know:

1. uppaal can be used without GUI(for example , in command line)？

Yes, bin-* directories of each distribution include the command line utility verifyta.

 

2. If so, can I further simulate it on the command line？

verifyta is good for batch verification and simulation (just like the verifier tab).

There is lib/model.jar API for automated interactive simulation (there is also model-javadoc.jar which can be imported into IDE)

https://people.cs.aau.dk/~marius/modeldoc/ 

Here are some examples:

https://www.it.uu.se/research/group/darts/uppaal/documentation.shtml#contribs