Pinned Repositories
alliance
Alliance VLSI CAD Tools (LIP6)
alliance-check-toolkit
Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
coriolis
Coriolis VLSI EDA Tool (LIP6)
cosy
ITS-CTL
CTL symbolic model-checker based on libDDD and libITS
ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
painless
pnmlframework
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
LIP6, Sorbonne Université's Repositories
lip6/coriolis
Coriolis VLSI EDA Tool (LIP6)
lip6/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
lip6/libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
lip6/pnmlframework
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
lip6/libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
lip6/alliance
Alliance VLSI CAD Tools (LIP6)
lip6/alliance-check-toolkit
Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
lip6/ITS-CTL
CTL symbolic model-checker based on libDDD and libITS
lip6/cosy
lip6/painless
lip6/Coloane
Maintained components of Coloane editor.
lip6/ITS-LTL
ITS tools and SPOT combine to provide symbolic model-checking of LTL
lip6/Louvain-BinaryBuild
A project to host binary artifacts for Louvain Community Detection Algorithm
lip6/pnml2nupn
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.
lip6/ITS-commandline
A project to host command-line version of ITS-Tools components embedded in eclipse
lip6/tas-yagle
Static Timing Analyser (LIP6)
lip6/TSAR-DHCCP
Verification of the Distributed Hybrid Cache Coherence protocol of the TeraScale Architecture
lip6/camipnml
Cami to PNML is a model transformation tool that converts CPN-AMI's CAMI format into PNML (Petri Nets Markup Language) and vice versa.
lip6/ESBP_SEL
lip6/Evinrude
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.
lip6/ITSTools-web
Web page and online docs for ITS Tools
lip6/core-v-180-mcu
CORE-V Implementation on GF 180 MCU node
lip6/GreatSPN-BinaryBuild
A project to host binary builds of GreatSPN related toolset, as used in ITS-tools
lip6/minisat-SymSp