fluentverification

stamina-storm

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

CaseStudies_StochasticModelChecking

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

stamina-prism

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

ragtimer

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

stamina

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

usu_stochastic_case_studies

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

usu_importance_sampling

Importance sampling experiments from the USU team

stamina-server

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

wayfarer

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

asterism

Aggie Simulation Tool Exhibiting Research on Importance Sampling for Markov models

bmc_counterexample

Critical-Values-Prototype

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

FLUENT-Website

Former-Website

FLUENT project web page

fluentverification.github.io

ragtimer-website

staminachecker.org

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

weghted_SSA