invariant
Kind: predicate-type
Record: vocabulary:predicate-type-invariant
Canonical: Schema
A claim that a property holds in every state the surface reaches.
Listed in Controlled vocabularies, after unknown and before equivalence.
Predicate type of
- functional-correctness
- concurrency-correctness
- consistency-correctness
- data-correctness
- numerical-correctness
- observability-correctness