LIP6, Sorbonne Université

icon indicating a website link http://www.lip6.fr

icon location Paris

Results 2 repositories owned by LIP6, Sorbonne Université

ITSTools

22
Stars
10
Forks
Watchers

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

verified publisher icon lip6

coriolis

41
Stars
5
Forks
Watchers

Coriolis VLSI EDA Tool (LIP6)

verified publisher icon lip6