Software distribution

The nature of VASCO’s research leads us to develop tools and research prototypes.

• SIMPA: SIMPA Infers Models Pretty Automatically. It implements a number of active inference algorithms, as well as driver generators to connect to web systems (and other drivers for other types of systems): git@gricad-gitlab.univ-grenoble-alpes.fr:vasco/SIMPA.git


• ParTraP, a language for the specification of properties on parametric traces is supported by an IDE and an example generator. It is distributed as an Eclipse plug-in at http://vasco.imag.fr/tools/partrap. The tool is distributed under the LGPL v3 licence.


• B4MSecure, which integrates SecureUML and B, is distributed as an Eclipse plug-in from http://vasco.imag.fr/tools/b4msecure. The tool is distributed under the LGPL v3 licence. Written and video documentation are also provided.


• Meeduse (http://vasco.imag.fr/tools/meeduse/), a tool to mix the formal B method with Domain Specific Languages (DSLs) done in EMF-based platforms like Sirius, GMF and XText. Demonstration videos are provided and the tool distribution is currently done by e-mail on demand.


• scat: analysis of binary code to retrieve function parameters and their types, as well as functions that are strongly coupled, such as file open/close, or memory allocators. https://github.com/Frky/scat.


• Tobias: The Tobias combinatorial generator is available as a service through a web page http://tobias.liglab.fr/. Written and video documentation are provided and the service has been experimented during master's courses.


• RoZ, a tool to integrate UML and Z, is currently rearchitectured to share components with B4MSecure. It will be distributed under the LGPL v3 licence at http://vasco.imag.fr/RoZ/. The previous version of the software is used by MIAGE master's students as part of their curriculum.