This project implements the formal analysis techniques available on the gisele process modeling language.

This project provides a virtual machine for the modeling language +gisele+ developed in the Gisele and PIPAS research projects at UCLouvain

Stamina is an automaton and regular inference toolkit initially developped for the baseline of the Stamina Competition (stamina.chefbe.net).

Stamina-gui provides a web-based graphical interface for Stamina.

Stamina-induction plugs induction algorithm to the stamina toolkit.