Verifying Specifications
Contents
| Verifying specifications |
| Post assertions |
| Expressing behaviours as properties |
A post-assertion specifies the complete end state.
| Perfect Developer intermediate tutorial 8 | This page last modified 2011-10-31 (JAC) |
| Verifying specifications |
| Post assertions |
| Expressing behaviours as properties |
A post-assertion specifies the complete end state.
| Save My Place | Glossary | Language Reference Manual |
 |
| Copyright © 1997-2012 Escher Technologies Limited. All rights reserved. Information is subject to change without notice. |