lip6 Goto Github PK

alliance

Alliance VLSI CAD Tools (LIP6)

alliance-check-toolkit

Tutorial, examples and regression tests for Coriolis & Alliance (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.

coloane

Maintained components of Coloane editor.

core-v-180-mcu

CORE-V Implementation on GF 180 MCU node

coriolis

Coriolis VLSI EDA Tool (LIP6)

cosy

esbp_sel

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.

greatspn-binarybuild

A project to host binary builds of GreatSPN related toolset, as used in ITS-tools

its-commandline

A project to host command-line version of ITS-Tools components embedded in eclipse

its-ctl

CTL symbolic model-checker based on libDDD and libITS

its-ltl

ITS tools and SPOT combine to provide symbolic model-checking of LTL

itstools

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

itstools-web

Web page and online docs for ITS Tools

libddd

Library for Data Decision Diagrams and Set Decision Diagrams

libits

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

louvain-binarybuild

A project to host binary artifacts for Louvain Community Detection Algorithm

minisat-symsp

painless

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.

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)

tas-yagle

Static Timing Analyser (LIP6)

tsar-dhccp

Verification of the Distributed Hybrid Cache Coherence protocol of the TeraScale Architecture