A tool for automatic extraction and verification of Rails formal models. Just include it in your Gemfile, write a few invariants, setup Spass and `rake verify`!

Required Ruby Version

>= 1.9.3

Authors

Ivan Bocic

Versions

  1. 0.1.0

    1. source

      1. 0.1.0 source September 16, 2013 (88.5 KB)
  2. 0.0.3

    1. source

      1. 0.0.3 source June 12, 2013 (38.5 KB)
  3. 0.0.2

    1. source

      1. 0.0.2 source March 01, 2013 (35 KB)
Show all versions (4 total)

SHA 256 checksum

← Previous version