This project provides a virtual machine for the modeling language +gisele+ developed in...
4,270 Downloads
This project implements the formal analysis techniques available on the gisele process ...
4,249 Downloads
N/A