This page presents a collection of patterns to be used to express properties during the formal verification of Descrete Event Systems.

The collection is supported by the Patterns Tool.