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.
10: (C) 2008-11, DJ Greaves, University of Cambridge, Computer Laboratory.