/stamina-server

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

Primary LanguagePythonMIT LicenseMIT

Stargazers