R2U2 V3 Demonstration Artifact for the 35th International Conference on Computer Aided Verification (CAV'23)

Artifact Evaluation Submission for

R2U2 Version 3.0: Re-imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software
Chris Johannsen, Phillip Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang

Getting Started:

1) Install docker (or a compatible alternative) on your machine.
Docker is free and open-source and can be downloaded from [https://www.docker.com]

2) Import the included tarball
From a terminal shell in the same directory as the downloaded artifact, the `cav23_r2u2.tar` file can be imported with the command:
    `docker load < cav23_r2u2.tar`

3) Start the container
The tarball loads an "image" from which "containers" can be run. View the loaded images with `docker images` then start a new container (or instance of the image) with:
    `docker run -p 8050:8050 -it --rm cav23_r2u2_artifact`
the the `-p` flag maps port 8050 to allow you to access the GUI from the host machine's web browser, flags `-it` give you an interactive terminal with the container while `--rm` removes the container (but not the image) when you exit. If you'd rather keep a persistent container to save changes, remove this flag.

4) You will now have a bash shell at the home directory of the artifact. Read the README.txt for replication instructions, run `./run_examples.sh` to re-run all included cases and compare them to archived output logs, or explore the source code in `r2u2/` to learn how to write your own specifications or modify the monitor.

5) To access the GUI, run `python run.py` from `r2u2/GUI` and open a web browser on the host machine to `localhost:8050`

Note: If you removed the `--rm` flag, after exiting the shell the container will still be running in the background until you issue a `docker stop` command for the container