Pinned Loading

1. lip6/ITSTools lip6/ITSTools Public

   A multi-formalism, multi-solution model-checker centered on the language GAL

   Python 27 12

2. ITS-Tools-MCC ITS-Tools-MCC Public

   Wrapper for ITS-Tools used in the Model-Checking contest

   Shell 3

3. lip6/libDDD lip6/libDDD Public

   Library for Data Decision Diagrams and Set Decision Diagrams

   C++ 16 5

4. lip6/libITS lip6/libITS Public

   Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

   C++ 9 5

5. AutoParallelJava AutoParallelJava Public

   A Project to automatically refactor Java enhanced for loops to streams.

   Java 1

6. aut2ltl aut2ltl Public

   A best effort practical tool to obtain LTL formula from arbitrary omega automata.

   Python