fluentverification / staminachecker.org Goto Github PK

View Code? Open in Web Editor NEW

0.0 2.0 0.0 83.09 MB

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

Home Page: https://staminachecker.org

HTML 74.15% JavaScript 14.63% CSS 9.87% Python 1.35%

approximation ctmc stochastic verification

staminachecker.org's People

Contributors

Watchers

staminachecker.org's Issues

Search: Use `meta` keywords and prioritize above content

I could expand the indexing script to look at keyword meta's and prioritize them above page content. This could be fairly easily implemented into the python script that creates the index and into the searching javascript.

STAMINA REST Front-ent page

Currently mockups are in run.html and api/job.html, although the JS connecting to the REST API is not done yet as the API itself is not done yet either.

The mockups can be viewed at:

https://staminachecker.org/run
https://staminachecker.org/api/job

@gerbs-11 Tagging you so you know

Add link to STAMINA 2.0 QEST artifact to website

Add this link on the homepage. Also, we should ask users to use this release, instead of 2.2.5 currently on the website, as 2.2.5 might still contain bugs you found during debugging 2.0.

Recommend Projects