Popular repositories Loading

1. storm storm Public

   A Modern Probabilistic Model Checker

   C++ 147 81

2. stormpy stormpy Public

   Python Bindings for the Probabilistic Model Checker Storm

   C++ 33 19

3. caesar caesar Public

   Deductive verification infrastructure for probabilistic programs

   Rust 17 7

4. dft-gui dft-gui Public

   Visualization for Dynamic Fault Trees

   JavaScript 15 1

5. pycarl pycarl Public

   Python bindings for carl

   Python 11 3

6. attestor attestor Public

   A Shape Analysis Tool based on Graph Grammars

   Java 10 4