Storm-GUI

Version: latest (dev not-fully-tested)

A graphical interface to interact with storm model checker.

Prerequisites

1. Docker must be installed on your computer - Docker installation videos are available on youtube for Windows, Linux and macOS.

2. Docker must be running – verify it by running the following command in a Terminal or Command Prompt(CMD).

   docker info 
   

System Requirements

OS: 64-bit Windows 10/11, Linux, MacOS
Memory: 8GB RAM (Recommended 16GB)
Storage: 15 GB available space
Browsers: Google Chrome (Recommended), Firefox

Running Storm-GUI on Linux and macOS

Installation

Step 1: Download the zip file, and unzip it.

Step 2: To navigate to the folder, run the following command in the terminal.

cd path_to_Storm-GUI

Step 3: To install, run the following command in the terminal.

sh install.sh

Start

Step 1: To navigate to the folder, run the following command in the terminal.

cd path_to_Storm-GUI

Step 2: To start, run the following command in the terminal.

sh start.sh

Step 3: Open the link http://127.0.0.1:8081 in a browser window

Stop

Step 1: To navigate to the folder, run the following command in the terminal.

cd path_to_Storm-GUI

Step 2: To stop, run the following command in the terminal.

sh stop.sh

Running Storm-GUI on Windows

Installation

Step 1: Download the zip file, and unzip it.

Step 2: Run install.bat file.

Start

Run start.bat file.

Open the link http://127.0.0.1:8081 in a browser window

Stop

Run stop.bat file.