Giters
LIP6, Sorbonne Université (lip6)

LIP6, Sorbonne Université

lip6

Geek Repo

Location:Paris

Home Page:http://www.lip6.fr

Github PK Tool:Github PK Tool

LIP6, Sorbonne Université's repositories

coriolis

Coriolis VLSI EDA Tool (LIP6)

Language:C++License:GPL-2.0Stargazers:41Issues:0Issues:0

ITSTools

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

Language:PythonLicense:GPL-3.0Stargazers:22Issues:6Issues:15

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)

Language:JavaLicense:EPL-1.0Stargazers:12Issues:6Issues:11

libDDD

Library for Data Decision Diagrams and Set Decision Diagrams

Language:C++License:NOASSERTIONStargazers:10Issues:5Issues:1

libITS

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

Language:C++License:GPL-3.0Stargazers:7Issues:6Issues:6

alliance

Alliance VLSI CAD Tools (LIP6)

Language:CStargazers:6Issues:7Issues:7

alliance-check-toolkit

Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)

Language:PythonStargazers:6Issues:10Issues:26

ITS-CTL

CTL symbolic model-checker based on libDDD and libITS

Language:CLicense:GPL-3.0Stargazers:6Issues:2Issues:0

cosy

Language:C++License:NOASSERTIONStargazers:4Issues:6Issues:0

painless

Language:C++License:NOASSERTIONStargazers:3Issues:5Issues:0

Coloane

Maintained components of Coloane editor.

Language:JavaStargazers:2Issues:3Issues:0

ITS-LTL

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

Language:C++Stargazers:2Issues:3Issues:0

Louvain-BinaryBuild

A project to host binary artifacts for Louvain Community Detection Algorithm

Language:C++License:GPL-3.0Stargazers:2Issues:4Issues:0

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.

Language:JavaLicense:EPL-1.0Stargazers:2Issues:2Issues:0

ITS-commandline

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

Language:JavaStargazers:1Issues:2Issues:0

TSAR-DHCCP

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

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0

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.

Language:JavaLicense:EPL-1.0Stargazers:0Issues:3Issues:0

ESBP_SEL

Language:C++License:NOASSERTIONStargazers:0Issues:6Issues:0

ITSTools-web

Web page and online docs for ITS Tools

Language:HTMLStargazers:0Issues:2Issues:0

core-v-180-mcu

CORE-V Implementation on GF 180 MCU node

Language:PythonStargazers:0Issues:5Issues:0

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.

Language:JavaStargazers:0Issues:2Issues:0

GreatSPN-BinaryBuild

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

Language:ShellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

minisat-SymSp

Language:C++License:NOASSERTIONStargazers:0Issues:5Issues:0

tas-yagle

Static Timing Analyser (LIP6)

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0