From b6f362b80f39f3c1978b041906447999efc4196f Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 29 Sep 2019 17:04:21 +0100 Subject: [PATCH] Readme --- README.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/README.md b/README.md index ed28102..fb43f1b 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,22 @@ The toolkit consists of two separate modules implementing: * Methods implemented using binary decision diagrams (BDD) for storing and manipulating the state space of the verified system. * Methods translating the verification problems into satisfiability modulo theories (SMT). +# Installation + +The easiest way to try out ReactICS is to download [http://reactionsystems.org/ReactICS.zip](the VM where everything is alread installed). This a VirtualBox virtual machine. After booting it up, you can log in as `reactics` with the same password. After logging in, ReactICS is available in the `reactics` directory: + +``` +$ cd reactics +``` + +An update and setup needs to be performed before running any type of verification: + +``` +$ ./reactics setup +``` + +After performing these steps you should be ready to start using ReactICS. + ## Examples The `examples` directory contains sample input files.