Popular repositories

1. coriolis coriolis Public

   Coriolis VLSI EDA Tool (LIP6)

   C++ 40 5

2. ITSTools ITSTools Public

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

   Python 22 10

3. pnmlframework pnmlframework Public

   This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)

   Java 12 8

4. libDDD libDDD Public

   Library for Data Decision Diagrams and Set Decision Diagrams

   C++ 10 4

5. libITS libITS Public

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

   C++ 7 5

6. ITS-CTL ITS-CTL Public archive

   CTL symbolic model-checker based on libDDD and libITS

   C 6 3