LIP6, Sorbonne Université

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

Java 17 GPL-3.0 7 7 1 Updated Jan 18, 2022
ITS-CTL Public
CTL symbolic model-checker based on libDDD and libITS

C 5 GPL-3.0 3 0 0 Updated Jan 13, 2022
libITS Public
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

C++ 5 GPL-3.0 6 1 1 Updated Jan 13, 2022
libDDD Public
Library for Data Decision Diagrams and Set Decision Diagrams

C++ 9 4 0 0 Updated Jan 11, 2022
Louvain-BinaryBuild Public
A project to host binary artifacts for Louvain Community Detection Algorithm

C++ 2 GPL-3.0 1 0 0 Updated Jan 11, 2022
Coloane Public

Java 2 0 0 0 Updated Jan 11, 2022
pnml2nupn Public
PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd structural analyser tool of the CADP tool suite.

Java 2 EPL-1.0 2 0 0 Updated Dec 14, 2021
Evinrude Public
This is a prototype of the Evinrude tool developed by Jean-Baptiste Voron and Clément Démoulins while Jean-Baptiste was doing his Ph.D. under my supervision.

Java 0 1 0 0 Updated Nov 21, 2021
ITS-LTL Public
ITS tools and SPOT combine to provide symbolic model-checking of LTL

C++ 1 0 0 0 Updated Nov 7, 2021
ITSTools-web Public
Web page and online docs for ITS Tools

HTML 0 2 0 0 Updated Nov 4, 2021

Popular repositories