French
version
| Logiciel | Platforms | Distribution | License | Project |
|---|---|---|---|---|
ATL :
Integrated Development Environment (IDE) and execution engine for the
ATL model transformation language  |
Eclipse | downloadable | EPL (Eclipse Public License) V.1.0 | ATLAS |
| Camlp4 : pre-processor and pretty-printer for Caml objective | Unix | downloadable | contact cdri-roc@inria.fr |
CRISTAL |
| CLPGUI : a graphical user interface for Constraint Logic Programming | Linux and Windows | downloadable | LGPL | CONTRAINTES |
| Compcert : Formally verified C compiler for critical software | MacOS X | downloadable | GALLIUM | |
| Kermeta : Language and Model Driven Engineering workbench allowing to build DSL (Domain Specific Language) from executable metamodels | Java | downloadable | EPL | TRISKELL |
| Moca : a module generator for relational types |
Linux and Windows | downloadable | Q + LGPL | PROTHEO |
| PACCMAN : Retargetable Compiler/Simulator | x86 Linux | contact cdri.ren@inria.fr |
CAPS | |
| REQS : a generic solver of recursive equations system used in static program analysis | Java JDK | downloadable | GPL | LANDE |
| SALTO : A Retargetable System Assembly Language Transformation and Optimization | Linux | contact cdri.ren@inria.fr |
CAPS | |
| SOFAT : Scenario Oracle and Formal Analysis Toolbox | JDK 1.2 on PC ou Sun | downloadable | GPL | DISTRIBCOM |
| STG : symbolic test generation | Linux | contact cdri.ren@inria.fr |
VERTECS | |
| SmartTools : MDA software development factory, using components-based programming and aspect-oriented programming approaches, and based on the XML technologies | Linux and Windows | downloadable | LGPL | SmartTools |
| TOM : A pattern matching compiler | Unix and Windows | downloadable | GPL | PROTHEO |
| TRAIAN - an E-Lotos compiler | Linux and Windows | downloadable | contact cdri.rho@inria.fr |
VASY |
For each software application in this table, the following can be found:
Software developed with external partners