Repositories list

• wayfarer

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

  markov-chainverificationrare-events+ 3

  markov-chainverificationrare-eventsprobabilistic-model-checkingseed-pathwitness-trace

  Python

  •00 forks•11 star•11 issue•33 pull requests•Updated Mar 27, 2026Mar 27, 2026

• ragtimer

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

  Python

  •

  MIT License

  •00 forks•33 stars•77 issues•11 pull request•Updated Feb 26, 2026Feb 26, 2026

• stamina-storm

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

  markov-chaingraph-theorymodel-checking+ 5

  markov-chaingraph-theorymodel-checkingformal-methodsformal-verificationctmctransient-analysisdtmc

  C++

  •

  GNU General Public License v3.0

  •22 forks•55 stars•1010 issues•00 pull requests•Updated Feb 2, 2026Feb 2, 2026

• CaseStudies_StochasticModelChecking

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

  Raku

  •00 forks•44 stars•22 issues•55 pull requests•Updated Jan 22, 2026Jan 22, 2026

• staminachecker.org

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

  verificationapproximationstochastic+ 1

  verificationapproximationstochasticctmc

  HTML

  •00 forks•00 stars•33 issues•00 pull requests•Updated Jul 17, 2025Jul 17, 2025

• bmc_counterexample

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 29, 2024Oct 29, 2024

• stamina-server

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

  apirestserver+ 5

  apirestserverrest-apimarkov-chainapi-restserver-sidectmc

  Python

  •

  MIT License

  •11 fork•11 star•22 issues•00 pull requests•Updated Aug 14, 2024Aug 14, 2024

• fluentverification.github.io

  Public
  HTML

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 25, 2024Jun 25, 2024

• FLUENT-Website

  Public
  TeX

  •

  MIT License

  •00 forks•00 stars•11 issue•00 pull requests•Updated Jun 25, 2024Jun 25, 2024

• stamina

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

  markov-chainformal-verificationstochastic-systems

  markov-chainformal-verificationstochastic-systems

  Python

  •

  MIT License

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jun 24, 2024Jun 24, 2024

• asterism

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

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 21, 2024Jun 21, 2024

• usu_importance_sampling

  Public
  Importance sampling experiments from the USU team

  Java

  •33 forks•22 stars•11 issue•11 pull request•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

  •00 forks•33 stars•00 issues•00 pull requests•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+ 1

  markov-chainformal-methodsformal-verificationctmc

  Java

  •

  MIT License

  •33 forks•44 stars•55 issues•00 pull requests•Updated Aug 10, 2023Aug 10, 2023

• ragtimer-website

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 20, 2023Jun 20, 2023

• Critical-Values-Prototype

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

  C++

  •00 forks•00 stars•11 issue•00 pull requests•Updated Feb 15, 2023Feb 15, 2023

• weghted_SSA

  Public
  MATLAB

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 3, 2022Oct 3, 2022

• Former-Website

  Public
  FLUENT project web page

  CSS

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 4, 2022Feb 4, 2022