Popular repositories Loading

1. storm storm Public

   A Modern Probabilistic Model Checker

   C++ 160 84

2. stormpy stormpy Public

   Python Bindings for the Probabilistic Model Checker Storm

   C++ 39 20

3. caesar caesar Public

   Deductive verification infrastructure for probabilistic programs

   Rust 28 11

4. dft-gui dft-gui Public

   Visualization for Dynamic Fault Trees

   JavaScript 15 1

5. attestor attestor Public

   A Shape Analysis Tool based on Graph Grammars

   Java 12 4

6. pycarl pycarl Public archive

   Python bindings for carl

   Python 11 3