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
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`!
>= 1.9.3
Ivan Bocic