Repository navigation

staminachecker.org

Public

About

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

staminachecker.org

approximation ctmc stochastic verification

Custom properties

0 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
api		api
data/results/preliminary		data/results/preliminary
documentation		documentation
downloads		downloads
feed		feed
images		images
results		results
scripts		scripts
.gitignore		.gitignore
404.html		404.html
CNAME		CNAME
README.md		README.md
about.html		about.html
benchmarks.html		benchmarks.html
createSearchIndex.py		createSearchIndex.py
documentation.html		documentation.html
get.html		get.html
google5b39a9d754703325.html		google5b39a9d754703325.html
index.html		index.html
privacy.html		privacy.html
robots.txt		robots.txt
run.html		run.html
search.html		search.html
sitemap.xml		sitemap.xml
source.html		source.html
styles.css		styles.css
template.html		template.html
unfinished_banner.html		unfinished_banner.html
wiki.html		wiki.html

Repository files navigation

Website for STAMINA

Hosted by GitHub Pages :)

Please visit the live site at:

https://staminachecker.org

About

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

staminachecker.org

approximation ctmc stochastic verification

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages