Pinned Repositories
asterism
Aggie Simulation Tool Exhibiting Research on Importance Sampling for Markov models
CaseStudies_StochasticModelChecking
Repositories for the collection of models used as case studies for stochastic model checking.
ragtimer
Random Assume Guarantee Testing Induced Model Executions for Reachability (RAGTIMER)
stamina
Wrapper repository which contains STAMINA/STORM and STAMINA/PRISM as submodules
stamina-prism
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
stamina-server
STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.
stamina-storm
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
usu_importance_sampling
Importance sampling experiments from the USU team
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.
wayfarer
Priority-guided seed-path/counterexample generation (proof of concept)
fluentverification's Repositories
fluentverification/stamina-storm
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
fluentverification/CaseStudies_StochasticModelChecking
Repositories for the collection of models used as case studies for stochastic model checking.
fluentverification/stamina-prism
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
fluentverification/ragtimer
Random Assume Guarantee Testing Induced Model Executions for Reachability (RAGTIMER)
fluentverification/stamina
Wrapper repository which contains STAMINA/STORM and STAMINA/PRISM as submodules
fluentverification/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.
fluentverification/usu_importance_sampling
Importance sampling experiments from the USU team
fluentverification/stamina-server
STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.
fluentverification/wayfarer
Priority-guided seed-path/counterexample generation (proof of concept)
fluentverification/asterism
Aggie Simulation Tool Exhibiting Research on Importance Sampling for Markov models
fluentverification/bmc_counterexample
fluentverification/Critical-Values-Prototype
Contains files and programs for prototyping critical values for various genetic circuits.
fluentverification/FLUENT-Website
fluentverification/Former-Website
FLUENT project web page
fluentverification/fluentverification.github.io
fluentverification/ragtimer-website
fluentverification/staminachecker.org
Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis
fluentverification/weghted_SSA