Search Docker Hub
Community User
Displaying 1 to 8 of 8 repositories
3y
212
TLA+ Docker image. See https://lamport.azurewebsites.net/tla/tla.html
303
172
150
Spin Model Checker version-6.5.2
111
Alloy Model Checker v6.0.0
119
Dockerfile to create a docker image containing open source mritools
8y
213
ubuntu container with MRI (reconstruction) software.
144