RubyGems.org

falluto

0.0.9

A model checker for verifying fault tolerant systems

installgem install falluto
Authors

Edgardo Hames

3,275 total downloads 1,696 for this version
Owners

Cf985658ff32a83d07cdfaa22c294fe4

Gemfile
gem 'falluto', '~> 0.0.9'
Versions
  1. 0.0.9 January 6, 2010 (16 KB)
  2. 0.0.1 December 17, 2009 (5.5 KB)
Runtime Dependencies
  1. treetop >= 1.2.3
Development Dependencies
  1. bacon >= 1.1.0