falluto 0.0.1

A model checker for verifying fault tolerant systems

Gemfile:
= Copier Copié!

installation:
=

Versions:

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

Dépendances de Runtime (1):

treetop >= 1.2.3

Dépendances de Development (1):

thoughtbot-shoulda >= 0

Show all transitive dependencies

Propriétaires:

Auteurs:

Edgardo Hames

Total de contrôle SHA 256:

cde683a38389ed97112c96442501edff47c0a08fae24a70e9ed2339dbfd5b71f