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).
Assume, axiom
property, invariant
Uclid5 supports the specification of module behavior using linear temporal logic (LTL).