udbm / 0.6
| Short description: | Ruby binding for the UPPAAL DBM library | |||||
|---|---|---|---|---|---|---|
| Category: | Library/Verification | |||||
| Status: | development | |||||
| Created: | 2006-05-23 16:07:03 GMT | |||||
| Last update: | 2006-05-23 16:07:03 GMT | |||||
| Owner: | Alexandre David (Projects of this owner) | |||||
| Homepage: | http://www.cs.aau.dk/~adavid/UDBM/ruby.html | |||||
| Download: | http://www.cs.aau.dk/~adavid/UDBM/ruby.html | |||||
| License: | GPL | |||||
| Dependency: |
|
|||||
| Description: | Ruby-UDBM is a Ruby binding for the UPPAAL DBM library. It offers access to the federation type (set of DBMs) and most of its operations. In addition, a graphical viewer is provided to allow users to visualize updates on the fly. The library gives access to systems of constraints where clock constraints can be declared and used as intuitive formulas. This binding is intended to be a research prototyping tool as well as a teaching tool for students learning timed automata. |
|||||