4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
stormchecker-git 1.3.0.r380.g28f8c9d82-1 0 0.00 Storm is a tool for the analysis of systems involving random or probabilistic phenomena s14h 2019-08-28 13:18 (UTC)
profeat-bin 1.0.0.0-1 0 0.00 Feature-oriented Engineering for Probabilistic Systems s14h 2019-05-29 14:09 (UTC)
prismmodelchecker-git r3619.06bba360-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 2019-01-25 07:32 (UTC)
carl-git 17.08.r2.g8f78930b-1 0 0.00 CArL - the Computer ARithmetic and Logic library s14h 2017-08-17 08:55 (UTC)

4 packages found. Page 1 of 1.