Popular repositories

1. stamina-storm stamina-storm Public

   STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

   C++ 5 2

2. stamina-prism stamina-prism Public

   STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine

   Java 4 3

3. CaseStudies_StochasticModelChecking CaseStudies_StochasticModelChecking Public

   Repositories for the collection of models used as case studies for stochastic model checking.

   Raku 4

4. usu_stochastic_case_studies usu_stochastic_case_studies Public

   Case-study models of stochastic systems, mainly using the PRISM language. Models focus on low-level computing applications and logic circuits.

   MATLAB 3

5. ragtimer ragtimer Public

   Random Assume Guarantee Testing Induced Model Executions for Reachability (RAGTIMER)

   Python 3

6. usu_importance_sampling usu_importance_sampling Public

   Importance sampling experiments from the USU team

   Java 2 3