adsl

Name: adsl
Author: Ivan Bocic

Authors: Ivan Bocic

License: GNU LGPL 3

Summary: 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...

Can't find the visual you need? Build your own here

All

version

0.1.0adsl

latest version

RubyGem Downloads Over Time

Top RubyGem Versions

Downloads by Ruby Version Over Time

Downloads by System Over Time

RubyGem Downloads by Country

Trademark Privacy Security Terms of Service Cookie Policy

Downloads

by period

last day

last week

106

last month

13K

total