9-safety

Overview

This directory contains files relevant to the tutorial Model-Checking Safety Properties. You can see the expected state of the source code after the tutorial in the src directory. Unit tests (not covered in the tutorial) are in the test directory.

Dependencies

• OpenJDK 21+
• sbt (simple build tool)

Build, test, run

1. Run sbt in this directory to start the sbt server
2. Run compile to build all projects
3. Run test to run all unit tests
4. Run run to run one of the projects
5. Run eclipse to generate project files for the Eclipse IDE