Hands-on: Modeling and Model Checking of Robot Behavior with AS2FM and SMC Storm

15:30 - 17:00 – Michaela Klauck

Preparation

Instructions for preparing your setup before:

• Please work either on a Linux distribution or in the WSL

• You need a docker installation: https://www.docker.com/get-started/

• Clone this Git repository: https://github.com/convince-project/AS2FM (only downloading the docker container of the repo is not sufficient because we need linked files from the repo).

• Go to the root folder of the cloned repository and check if the docker container, in which we will be working during the school, starts correctly. This can be done by running: docker compose run -it --remove-orphans base bash. If no error occurs everything is installed already and you can exit the container by typing -d.

• On the verification day we will follow this tutorial: https://convince-project.github.io/AS2FM/tutorials.html. It is not needed to look at the tutorial beforehand.