This virtual machine contains all of the artifacts needed to reproduce the experiments in Action-Based Model Checking: Logic, Automata, and Reduction by Stephen F. Siegel and Yihao Yan, CAV 2020.
The VM was created using VirtualBox and the Lubuntu Linux distribution. It is assigned 14GB RAM.
To use, download the .ova file, use VirtualBox to import the
appliance, and start with a "headless" start. Then ssh into the
machine from your terminal by typing
ssh -p 2222 user@127.0.0.1
The user name and password are both "user". Alternatively, do a
normal start, and open a terminal (LXTerminal) window. See the
README file in the home directory for details.