maxdiefenbach

TLA+ Docker image. See https://lamport.azurewebsites.net/tla/tla.html

Spin Model Checker version-6.5.2

Alloy Model Checker v6.0.0

Dockerfile to create a docker image containing open source mritools

ubuntu container with MRI (reconstruction) software.