Definitions for "Assertions"
Keywords:  ieee, logical, satisfy, loop, input
A logical expression specifying a program state that must exist or a set of conditions that program variables must satisfy at a particular point during a program execution. Types include input assertion, loop assertion, and output assertion. (IEEE Standard 610.12-1990)
Used to verify an assumption or a statement of what will be true.