Experiments

Experiment environment:

CPU: Intel® Core™ i7-10750H CPU @ 2.60GHz × 6 

Memory: 10 GB

OS: Ubuntu 20.04.5 LTS, 64 bits

Tool: Uppaal Stratego version 4.1.20-stratego-11

Experiment artefacts:

Run the experiments:

Terminal message: