Go backward to Unless
Go up to Top
Go forward to Special Cases of Unless
Special Cases of Unless
Stable is prserved by every statement of the program.
- is stable unless false.
- Stable predicates remain true once it becomes true (but it may never
- is invariant (initial condition )
and is stable.
- Invariant is always true from the beginning.
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine