1. Active Docker Daemon (min 2GB RAM, recommended 4+GB RAM)
2. A chromium-based browser (e.g., Google Chrome)

1. on the directory ./src
2. docker compose up starts the server:
   • -d flag detaches the running system
   • --build flag rebuilds docker images
   • docker compose down stops the system
   • docker image prune removes dangling images
3. web vis at http://localhost:3000
   • example projects on ./data

Requirements: GNU make, gcc, JDK 11, git, NodeJS v. 16+, postgres v14

1. backend:
   • new terminal, go to: src/backend/
     • run: git clone https://github.com/prismmodelchecker/prism to download prism
     • go to: src/backend/prism/prism
     • run: git checkout c541affb994f3
     • run: make to build prism
   • go to: src/backend/server/
     • run: mvn dependency:copy-dependencies to download dependencies
     • run: mvn package to build server
     • run: ./bin/initdb to initialize the database
     • run: ./bin/run server PRISMDefault.yml to start server
       • or run: ./bin/run server PRISMDebug.yml to start sever in debug mode
   • server at localhost:8080
2. frontend:
   • new terminal, go to: src/frontend/
     • run: npm install to build server
     • run: npm run dev to start server
   • web vis at http://localhost:3000
3. editor: - install vscode (https://code.visualstudio.com/) - new terminal, go to: src/editor/
   • run: npm install to build the extension
   • run: vsce package to package the extension
   • run: code --install-extension PMC-VIS-0.0.1.vsix to install the extension to vscode

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking (doi:link)

More information on imld.de/pmc-vis