Pinned Loading

1. dmc dmc Public

   DMC Model checker is a modular model checker with a model-agnostic API for state space exploration.

   C++ 2

2. dtree dtree Public

   C++ 1

3. llmc llmc Public

   LLMC is a multi-core model checker of LLVM IR. It translates the input LLVM IR into a model LLVM IR that implements the DMC API, the API of the model checker DMC. This allows LLMC to execute the mo…

   C++ 3

4. ltsmin ltsmin Public

   Forked from utwente-fmt/ltsmin

   The LTSmin model checking toolset

   C

5. DIVGAMES/DIV-Games-Studio DIVGAMES/DIV-Games-Studio Public

   Complete cross platform games development package, originally for DOS but now available on modern platforms.

   C 229 32

6. utwente-fmt/dftcalc utwente-fmt/dftcalc Public

   DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

   C++ 12 6