Pinned Loading

1. ThunderModelChecker/thunder ThunderModelChecker/thunder Public

   Thunder is a model checker implemented in Rust, created during the first iteration of the practical course on model checking at RWTH Aachen.

   Rust 1

2. birthday-cluedo birthday-cluedo Public

   Experimental results from the paper 'A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case', published in the Festschrift dedicated to Joost-Pieter Katoen on the occasion…

3. storm storm Public

   Forked from stormchecker/storm

   A Modern Probabilistic Model Checker

   C++