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.377 Downloads

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

4.464 Downloads

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

4.458 Downloads