Skip to content
  Projet Triskell  


Up one level
List of the various software proposed by Triskell team
Software KerMeta
Folder about KerMeta
Software Umlaut
Generating tests from requirements
Software Tools under development & prototypes
This Folder contains web pages relative to tools that are under development and some prototypes.
Software Former tools
This is a list of the tools that we don't use actively anymore.
Software Pramana
Pramana is a tool to automatically synthesize models for testing model transformations. This tool is developed by Sagar Sen in collaboration with Benoit Baudry. We acknowledge the contribution of Freddy Munoz for the Java version of alloy2emf ported from the original prototype version written in Python.