angeloferrando

Repository to allow students to run SPIN model checker on their machines.

RV-Predict docker container with Java 8

A tool to formally verify smart contracts through SMT solvers.

Docker with SPOT (https://spot.lre.epita.fr/)

Docker for Java PathFinder

Runtime Monitoring Language (RML) docker image