BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us
modules.com
⌘K

adsl

v0.1.0RubyGems· Ruby

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

The verdict
Abandoned. Last published 12 years ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the RubyGems registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicenseCopyleft
DepsZero deps
Maintenance
Last published 12 years ago.
Popularity
8 downloads / week
Security
No known advisories for this version (OSV).
License
LGPL-3.0
Dependencies
No runtime dependencies
Recent releases
  • 0.1.012 years ago
  • 0.0.312 years ago
  • 0.0.213 years ago
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`! (Ruby / RubyGems) · Modules