Dependências Reversas para 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.534 Downloads

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

22.394 Downloads

Stamina-induction plugs induction algorithm to the stamina toolkit.

22.352 Downloads

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

4.456 Downloads

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

4.447 Downloads