Assertion types

• A set of assertion types define applications.

• They can be pre-defined or user-defined.

• An application that can be defined using assertion types is called a “SWIM-application”.