movesrwth/storm

By movesrwth

•Updated 2 days ago

Storm - A Modern Probabilistic Model Checker

Image

50K+

Overview Tags

Tags for movesrwth/storm

Sort by

TAG

ci-debug

Last pushed 2 days by i2docker

docker pull movesrwth/storm:ci-debug

Digest	OS/ARCH	Compressed size
8b8e238bdb41	linux/amd64	5.66 GB

TAG

Last pushed 2 days by i2docker

docker pull movesrwth/storm:ci

Digest	OS/ARCH	Compressed size
f684ce787a35	linux/amd64	2.56 GB

TAG

1.14.0

Last pushed about 1 month by i2docker

docker pull movesrwth/storm:1.14.0

Digest	OS/ARCH	Compressed size
3e9dc95e8c38	linux/amd64	608.66 MB
9216190d102c	linux/arm64	737.15 MB

TAG

stable

Last pushed about 1 month by i2docker

docker pull movesrwth/storm:stable

Digest	OS/ARCH	Compressed size
eb452ce6e00f	linux/amd64	608.66 MB
f862560fa796	linux/arm64	737.15 MB

TAG

stable-debug

Last pushed about 1 month by i2docker

docker pull movesrwth/storm:stable-debug

Digest	OS/ARCH	Compressed size
fabfdeec3400	linux/amd64	934.87 MB
14b41ef005c8	linux/arm64	1.04 GB

TAG

1.14.0-debug

Last pushed about 1 month by i2docker

docker pull movesrwth/storm:1.14.0-debug

Digest	OS/ARCH	Compressed size
73a49f33f5b8	linux/amd64	934.87 MB
eb12f28481d3	linux/arm64	1.04 GB

TAG

1.13.0

Last pushed 5 months by i2docker

docker pull movesrwth/storm:1.13.0

Digest	OS/ARCH	Compressed size
1de99223d6c6	linux/amd64	593.78 MB
7b0d0fd4677e	linux/arm64	723.2 MB

TAG

1.13.0-debug

Last pushed 5 months by i2docker

docker pull movesrwth/storm:1.13.0-debug

Digest	OS/ARCH	Compressed size
beb61b31dc64	linux/amd64	943.43 MB
ab668ce6dd56	linux/arm64	1.05 GB

TAG

1.12.0

Last pushed 7 months by i2docker

docker pull movesrwth/storm:1.12.0

Digest	OS/ARCH	Compressed size
e327a158aefc	linux/amd64	593.28 MB
b7680bcc975b	linux/arm64	719.26 MB

TAG

1.12.0-debug

Last pushed 7 months by i2docker

docker pull movesrwth/storm:1.12.0-debug

Digest	OS/ARCH	Compressed size
fa9e1d5fe0b4	linux/amd64	932.97 MB
366aad8e7edc	linux/arm64	1.03 GB

TAG

1.11.1-debug

Last pushed 12 months by i2docker

docker pull movesrwth/storm:1.11.1-debug

Digest	OS/ARCH	Compressed size
fdcb927236dd	linux/amd64	891.36 MB
8afe042d4795	linux/arm64	961.27 MB

TAG

1.11.1

Last pushed 12 months by i2docker

docker pull movesrwth/storm:1.11.1

Digest	OS/ARCH	Compressed size
f85d15c968d3	linux/amd64	589.81 MB
46ec75d2983c	linux/arm64	661.42 MB

TAG

1.11.0

Last pushed about 1 year by i2docker

docker pull movesrwth/storm:1.11.0

Digest	OS/ARCH	Compressed size
9b119436051a	linux/amd64	581.7 MB
258a965bd46b	linux/arm64	657.89 MB

TAG

1.11.0-debug

Last pushed about 1 year by i2docker

docker pull movesrwth/storm:1.11.0-debug

Digest	OS/ARCH	Compressed size
db26ddfcdd5b	linux/amd64	884.54 MB
b13c062cef78	linux/arm64	959.05 MB

TAG

1.10.0

Last pushed over 1 year by i2docker

docker pull movesrwth/storm:1.10.0

Digest	OS/ARCH	Compressed size
747492d87410	linux/amd64	1.39 GB
bcf2615da899	linux/arm64	1.46 GB

TAG

1.10.0-debug

Last pushed over 1 year by i2docker

docker pull movesrwth/storm:1.10.0-debug

Digest	OS/ARCH	Compressed size
62afa811bcc5	linux/amd64	1.79 GB
ad99362eec43	linux/arm64	1.86 GB

TAG

1.9.0

Last pushed about 2 years by i2docker

docker pull movesrwth/storm:1.9.0

Digest	OS/ARCH	Compressed size
11a5ec748340	linux/amd64	1.04 GB

TAG

1.9.0-debug

Last pushed about 2 years by i2docker

docker pull movesrwth/storm:1.9.0-debug

Digest	OS/ARCH	Compressed size
0fd9acf6a809	linux/amd64	1.39 GB

TAG

1.8.1-debug

Last pushed over 3 years by mvolk

docker pull movesrwth/storm:1.8.1-debug

Digest	OS/ARCH	Compressed size
3f1bf7851ce9	linux/amd64	1.69 GB

TAG

1.8.1

Last pushed over 3 years by mvolk

docker pull movesrwth/storm:1.8.1

Digest	OS/ARCH	Compressed size
955b1fefb430	linux/amd64	1.34 GB

TAG

1.8.0-debug

Last pushed over 3 years by mvolk

docker pull movesrwth/storm:1.8.0-debug

Digest	OS/ARCH	Compressed size
4b7f12baa4cb	linux/amd64	1.68 GB

TAG

1.8.0

Last pushed over 3 years by mvolk

docker pull movesrwth/storm:1.8.0

Digest	OS/ARCH	Compressed size
37ecfc8e70c6	linux/amd64	1.34 GB

TAG

1.7.0-debug

Last pushed about 4 years by mvolk

docker pull movesrwth/storm:1.7.0-debug

Digest	OS/ARCH	Compressed size
7cd384afbf5c	linux/amd64	1.82 GB

TAG

1.7.0

Last pushed about 4 years by mvolk

docker pull movesrwth/storm:1.7.0

Digest	OS/ARCH	Compressed size
8ca1d67cc7b9	linux/amd64	1.41 GB

TAG

1.6.4-debug

Last pushed over 4 years by tquatmann

docker pull movesrwth/storm:1.6.4-debug

Digest	OS/ARCH	Compressed size
59aa719c6122	linux/amd64	1.69 GB