adsl

Release 0.0.2

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

Homepage Rubygems Documentation Download

License
GPL-3.0
Install
gem install adsl -v 0.0.2

Stats

Dependencies
12
Dependent packages
0
Dependent repositories
0
Total releases
3
Latest release
First release
SourceRank
4

Releases

0.1.0
0.0.3
0.0.2

Maintainers

Bocete

Login to resync this project