Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Stamina Storm

STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
Stars
5
License
gpl-3.0
Open Issues
11
Most Recent Commit
8 months ago
Programming Language
C++
Categories
Site
Repo
Suggest An Alternative To stamina-storm
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Popular Graph Theory Projects
Networkx ⭐ 13,816
Network Analysis in Python
dependent packages 4,531total releases 92latest release October 28, 2023most recent commit 3 months agopypi networkx} Downloads
Cytoscape.js ⭐ 9,541
Graph theory (network) library for visualisation and analysis
dependent packages 267total releases 241latest release October 30, 2023most recent commit 3 months agonpm cytoscape} Downloads
Mgmt ⭐ 3,308
Next generation distributed, event-driven, parallel config management!
total releases 20latest release March 10, 2021most recent commit 3 months ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
C Plus Plus Graph Theory
C Plus Plus Markov Chain
C Plus Plus Model Checking
Formal Methods Model Checking
Formal Verification Model Checking
C Plus Plus Formal Methods
C Plus Plus Formal Verification
Markov Chain Ctmc
Markov Chain Dtmc
Ctmc Dtmc

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Graph Theory
Formal Methods
Model Checking
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.