English
version
| Logiciel | Plates-formes | Distribution | Licence | Equipe-Projet |
|---|---|---|---|---|
ATL :
Environnement de développement intégré et
moteur d'exécution pour le langage de transformation de modèles
ATL (Atlas Transformation Language)  |
Eclipse | téléchargeable | EPL (Eclipse Public License) V.1.0 | ATLAS |
| Camlp4 : préprocesseur et pretty-printer pour Objective Caml | Unix | téléchargeable | licence négociable cdri-roc@inria.fr |
CRISTAL |
| COMPCERT : Compilateur formellement vérifié pour un sous-ensemble du langage C | MacOS X | Evaluation et Recherche | GALLIUM | |
| CLPGUI : une interface graphique pour la visualisation de l'exécution de programmes logiques avec contraintes | Linux et Windows | téléchargeable | LGPL | CONTRAINTES |
| Kermeta : Langage et atelier d'Ingénierie Dirigée par les Modèles pour fabriquer des DSL (Domain Specific Language) à partir de métamodèles exécutables | Java | téléchargeable | EPL | TRISKELL |
| Moca : un générateur de modules pour les types à relations | Linux, Windows | téléchargeable | Q + LGPL | PROTHEO |
| PACCMAN : Compilateur/Simulateur Reciblable | x86 Linux | licence négociable cdri.ren@inria.fr |
CAPS | |
| REQS : solveur d'équations récursives pour l'analyse statique de programmes | Java JDK | téléchargeable | GPL | LANDE |
| SALTO : un environnement de transformations pour les langages d’assemblage | Linux | non téléchargeable | licence négociable cdri.ren@inria.fr |
CAPS |
| SOFAT : Boîte à outils pour la manipulation formelle de langages de scénarios - Assistance pour le développement. | PC ou Sun équipé du JDK 1.2 ou ultérieur | téléchargeable | GPL | DISTRIBCOM |
| STG : outil de génération automatique de tests pour les programmes réactifs | Linux | licence négociable cdri.ren@inria.fr |
VERTECS | |
| SmartTools : Atelier de développement logiciel dirigé par les modèles (type MDA), avec approches de programmation par composants et séparation de préoccupations, et basé sur les technologies XML | Linux et Windows | téléchargeable | LGPL | SmartTools |
| TOM : un compilateur de filtrage | Unix et Windows | téléchargeable | GPL | PROTHEO |
| TRAIAN - Un compilateur de E-Lotos | Linux et Windows | téléchargeable | licence négociable cdri.rho@inria.fr |
VASY |
Pour chaque logiciel figurant dans ce tableau, on trouve :
Logiciel développé en collaboration avec des partenaires