2 results found Sort:

moves-rwth
storm moves-rwth
80
147
gpl-3.0
12
A Modern Probabilistic Model Checker
mdp ctmc dtmc pomdp research fault-tree markov-chain model-checker model-checking
Created 2016-10-19
10,253 commits to master branch, last one 6 days ago
rakhimov
scram rakhimov
55
147
gpl-3.0
22
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
bdd fta pra psa qt5 zbdd cpp17 python event-tree fault-tree c-plus-plus risk-analysis reliability-engineering
Created 2014-03-21
3,594 commits to develop branch, last one 5 years ago