Popular repositories

1. storm storm Public

   A Modern Probabilistic Model Checker

   C++ 124 70

2. stormpy stormpy Public

   Python Bindings for the Probabilistic Model Checker Storm

   C++ 28 15

3. dft-gui dft-gui Public

   Visualization for Dynamic Fault Trees

   JavaScript 13 1

4. caesar caesar Public

   Deductive verification infrastructure for probabilistic programs

   Rust 12 2

5. attestor attestor Public

   A Shape Analysis Tool based on Graph Grammars

   Java 10 4

6. pycarl pycarl Public

   Python bindings for carl

   Python 9 3