Pinned Loading

1. ltsmin ltsmin Public

   Forked from utwente-fmt/ltsmin

   The LTSmin model checking toolset

   C 1 1

2. automatalib automatalib Public

   Forked from LearnLib/automatalib

   A free, open-source Java library for modeling automata, graphs, and transition systems.

   Java

3. learnlib learnlib Public

   Forked from LearnLib/learnlib

   A free, open source Java library for automata learning algorithms.

   Java

4. scoop scoop Public

   Forked from utwente-fmt/scoop

   SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes

   Haskell

5. sylvan sylvan Public

   Forked from trolando/sylvan

   Implementation of multi-core (binary) decision diagrams

   C