falluto | RubyGems.org | your community gem host

RubyGems

Sign in Sign up

Gemfile

install

A model checker for verifying fault tolerant systems

Required Ruby Version

None

Authors

Edgardo Hames

Versions

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

SHA 256 checksum