HOME       UP       PREV       NEXT (ABD - PSL Four-Level Syntax Structure)  

PSL Assertion, General Structure

The general structure of a PSL assertion has the following parts:

The always operator is the most frequently used one and it specifies that the following property expression should hold at all (qualified) times.
(C) 2008-10, DJ Greaves, University of Cambridge, Computer Laboratory.