4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
carl-git 17.08.r2.g8f78930b-1 0 0.00 CArL - the Computer ARithmetic and Logic library s14h
prismmodelchecker-git r3365.a8999396-1 0 0.00 PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour s14h
stormchecker 1.1.0-1 0 0.00 Storm is a tool for the analysis of systems involving random or probabilistic phenomena s14h
stormchecker-git 1.1.0.r129.gbac50a32a-1 0 0.00 Storm is a tool for the analysis of systems involving random or probabilistic phenomena s14h

4 packages found. Page 1 of 1.