falluto 0.0.9

A model checker for verifying fault tolerant systems

Gemfile:
=

installieren:
=

Versionen:

0.0.9 - January 07, 2010 (16 KB)
0.0.1 - December 18, 2009 (5,5 KB)

Runtime Abhängigkeiten (1):

treetop >= 1.2.3

Development Abhängigkeiten (1):

bacon >= 1.1.0

Alle transitiven Abhängigkeiten anzeigen

Besitzer:

Autoren:

Edgardo Hames

SHA 256-Prüfsumme:

=