Specification

Embedded Specifications

Assume, axiom

System Specifications

property, invariant

Linear Temporal Logic (LTL) Specifications

Uclid5 supports the specification of module behavior using linear temporal logic (LTL).