RubyGems Navigation menu

adsl 0.1.0

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`!

Versions:

  1. 0.1.0 - September 16, 2013 (88.5 KB)
  2. 0.0.3 - June 12, 2013 (38.5 KB)
  3. 0.0.2 - March 01, 2013 (35 KB)
Show all versions (4 total)

Owners:

Authors:

  • Ivan Bocic

SHA 256 checksum:

a14d85eaccfe78dba0a39c2fec334390a5a52235d1b5faf0a30a819960bdae60

Total downloads 8,257

For this version 2,980

Gemfile:
= Copy to clipboard Copied!

install:
=

License:

GNU LGPL 3

Required Ruby Version: None

Links: