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,450 Downloads

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

22,328 Downloads

Stamina-induction plugs induction algorithm to the stamina toolkit.

22,289 Downloads

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

4,442 Downloads

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

4,432 Downloads