adsl
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`!
Activity
- Latest release
- 13y ago
- Total releases
- 3
- Cadence
- ~3 months
- Last 12 months
- 0
Details
- License
- unknown
- First release
- Mar 01, 2013
| Version | Released | |
|---|---|---|
0.1.0
minor
|
0.1.0
minor
Dependencies (15)
+ 7 more |
|
0.0.3
patch
|
0.0.3
patch
Dependencies (7)
|
|
0.0.2
initial
|
0.0.2
initial
Dependencies (7)
|