Note: All commands assume the current directory is the toph base directory, containining this file. Toph can be installed in $GOBIN with: go install toph.go The runners folder contains script-like programs to run Toph and Uppaal for everything in the tests directory. Run them with: go run runners/toph-runner.go go run runners/uppaal-runner.go uppaal-runner.go starts the Uppaal verifier binary in sub-processes. This requires that the -uppaal-path flag points at a directory containing the Uppaal commandline binaries, e.g. "bin-Darwin" on macOS.