yanntm/mcc-server

•Updated about 1 month ago

A small server offering access to a variety of model-checking tools participating in MCC.

Image

Integration & delivery

Data science

303

Tags for yanntm/mcc-server

Sort by

TAG

latest

Last pushed about 1 month by yanntm

docker pull yanntm/mcc-server:latest

Digest	OS/ARCH	Compressed size
086861bebafc	linux/amd64	840.18 MB