RubyGems Navigation menu

falluto 0.0.1

A model checker for verifying fault tolerant systems

Versions:

  1. 0.0.9 - January 6, 2010 (16 KB)
  2. 0.0.1 - December 17, 2009 (5.5 KB)

Runtime Dependencies:

Development Dependencies:

Authors:

  • Edgardo Hames

Owners:

Cf985658ff32a83d07cdfaa22c294fe4

Sha 256 checksum:

cde683a38389ed97112c96442501edff47c0a08fae24a70e9ed2339dbfd5b71f

Total downloads 3,971

For this version 1,908

Required Ruby Version: None

Licenses:

N/A

Gemfile:
= Copy to clipboard Copied!

install:
= Copy to clipboard Copied!

Links: