(1) 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 program execution.
(2) A capability or requirement that represent a domain specific concept. Assertions fall into the following categories: performance, reliability, interoperability, security, and manageability.