Reverse dependencies for stamina-core Latest version of the following gems require stamina-core

stamina 0.6.1

Stamina is an automaton and regular inference toolkit initially developped for the bas...

31,559 Downloads

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

22,412 Downloads

Stamina-induction plugs induction algorithm to the stamina toolkit.

22,376 Downloads

This project provides a virtual machine for the modeling language +gisele+ developed in...

4,463 Downloads

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

4,456 Downloads