angeloferrando

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