A model checker for verifying fault tolerant systems

Required Ruby Version

None

Authors

Edgardo Hames

Versions

  1. 0.0.9

    1. source

      1. 0.0.9 source January 07, 2010 (16 KB)
  2. 0.0.1

    1. source

      1. 0.0.1 source December 18, 2009 (5.5 KB)

SHA 256 checksum

← Previous version