生产运营/行业运营 prism-probabilistic-model-checker 返回
项目作者： saifalam

项目描述 ：
PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behavior.
高级语言： Perl6
项目地址: git://github.com/saifalam/prism-probabilistic-model-checker.git