RubyGems.org

falluto

0.0.9

A model checker for verifying fault tolerant systems

installgem install falluto
Download Documentation Subscribe RSS
Authors

Edgardo Hames

2,278 total downloads 1,174 for this version
Owners

Cf985658ff32a83d07cdfaa22c294fe4

Links
Homepage
Gemfile
gem "falluto", "~> 0.0.9"
Versions
  1. 0.0.9 January 6, 2010
  2. 0.0.1 December 17, 2009
Runtime Dependencies
  1. treetop >= 1.2.3
Development Dependencies
  1. bacon >= 1.1.0