Perfect Developer tutorial This page last modified 2005-06-08 (JAC)

Basic Tutorial Eight: Verifying Specifications

Contents

Verifying specifications
Post assertions
Expressing behaviours as properties

switched-on lamp
A post-assertion specifies the complete end state.


Language Reference Manual Glossary Basic Tutorials list