GitHub - sfw/acts_as_modelable: Model extraction and verification plugin for RAILS applications

sfw / acts_as_modelable Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Model extraction and verification plugin for RAILS applications

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
lib		lib
tasks		tasks
test		test
MIT-LICENSE		MIT-LICENSE
README		README
Rakefile		Rakefile
init.rb		init.rb
install.rb		install.rb
uninstall.rb		uninstall.rb

Repository files navigation

ActsAsModelable
===============

Old Masters Thesis project. Passively extract a state-space model from Ruby apps. Process and allow validation of allowed and disallowed states using CTL/LTL. 

Copyright (c) 2010 Scott Francis Winder, released under the MIT license