Project
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`!
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Development
Licenses
GNU LGPL 3
Dependencies
Development
Runtime
~> 3.2
~> 3.2
>= 0
>= 0
>= 0
~> 0.8
>= 0
>= 0
>= 0
~> 3.1
>= 0