 | 1.7 Test cases |
| 
| 1 Changes to RSL |
| |
| 1.8 Features of RSL not supported |
1.8 Features of RSL not supported
The tool follows The RAISE Development Method [2] in
not allowing embedded schemes (schemes defined within classes).
Schemes should be defined at the top level and put in their own files
(see section 2).
The axiom quantification forall has been removed. Axioms should be
quantified individually. This also follows The RAISE Development
Method.
Chris George, April 17, 2008
| 1.8 Features of RSL not supported |
| 1.7 Test cases |
| |
| 1 Changes to RSL |
| |