search

fluentverification / stamina-storm

STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
https://staminachecker.org
GNU General Public License v3.0
5 stars 2 forks source link

Create Dockerfile #21

Closed gerbs-11 closed 2 years ago

ifndefJOSH commented 2 years ago

@gerbs-11 please mark as ready for review if it is ready so I can merge it.