Sign inSign up

movesrwth/storm

By movesrwth

•Updated about 10 hours ago

Storm - A Modern Probabilistic Model Checker

Image
1

50K+

movesrwth/storm repository overview

For more information see: https://www.stormchecker.org⁠.

Tag summary

Content type

Image

Digest

sha256:2d4cddf79…

Size

5.1 GB

Last updated

about 10 hours ago

docker pull movesrwth/storm:ci-debug