Repositories list

• staminachecker.org

  Public
  Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis

  verificationapproximationstochastic+ 1ctmc

  HTML

  •0•0•3•0•Updated Nov 21, 2024Nov 21, 2024

• wayfarer

  Public
  Priority-guided seed-path/counterexample generation (proof of concept)

  markov-chainverificationrare-events+ 3probabilistic-model-checkingseed-pathwitness-trace

  Python

  •0•1•0•2•Updated Oct 30, 2024Oct 30, 2024

• bmc_counterexample

  Public
  Python

  •0•0•0•0•Updated Oct 29, 2024Oct 29, 2024

• stamina-storm

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

  markov-chaingraph-theorymodel-checking+ 5formal-methodsformal-verificationctmctransient-analysisdtmc

  C++

  •

  GNU General Public License v3.0

  •2•5•9•1•Updated Oct 22, 2024Oct 22, 2024

• ragtimer

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

  Python

  •

  MIT License

  •0•3•6•1•Updated Sep 30, 2024Sep 30, 2024

• CaseStudies_StochasticModelChecking

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

  Raku

  •0•4•2•3•Updated Aug 28, 2024Aug 28, 2024

• stamina-server

  Public
  STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.

  apirestserver+ 5rest-apimarkov-chainapi-restserver-sidectmc

  Python

  •

  MIT License

  •1•1•2•0•Updated Aug 14, 2024Aug 14, 2024

• fluentverification.github.io

  Public
  HTML

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 25, 2024Jun 25, 2024

• FLUENT-Website

  Public
  TeX

  •

  MIT License

  •0•0•1•0•Updated Jun 25, 2024Jun 25, 2024

• stamina

  Public
  Wrapper repository which contains STAMINA/STORM and STAMINA/PRISM as submodules

  markov-chainformal-verificationstochastic-systems

  Python

  •

  MIT License

  •0•3•0•0•Updated Jun 24, 2024Jun 24, 2024

• asterism

  Public
  Aggie Simulation Tool Exhibiting Research on Importance Sampling for Markov models

  Java

  •0•0•0•0•Updated Jun 21, 2024Jun 21, 2024

• usu_importance_sampling

  Public
  Importance sampling experiments from the USU team

  Java

  •3•2•1•1•Updated May 28, 2024May 28, 2024

• 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

  •0•3•0•0•Updated Aug 23, 2023Aug 23, 2023

• stamina-prism

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

  markov-chainformal-methodsformal-verification+ 1ctmc

  Java

  •

  MIT License

  •3•4•5•0•Updated Aug 10, 2023Aug 10, 2023

• ragtimer-website

  Public
  HTML

  •0•0•0•0•Updated Jun 20, 2023Jun 20, 2023

• Critical-Values-Prototype

  Public
  Contains files and programs for prototyping critical values for various genetic circuits.

  C++

  •0•0•1•0•Updated Feb 15, 2023Feb 15, 2023

• weghted_SSA

  Public
  MATLAB

  •0•0•0•0•Updated Oct 3, 2022Oct 3, 2022

• Former-Website

  Public
  FLUENT project web page

  CSS

  •

  MIT License

  •0•0•0•0•Updated Feb 4, 2022Feb 4, 2022