Workbench / Lenses

LEN-0210 - Invariant Lens

Verifies that declared invariants are structurally enforceable and not contradicted by observed structure.

Primary Pattern Matches

Secondary Pattern Matches

Ontology Metadata

Code
LEN-0210
Version
LEN-0210@undefined
Ontology release
0.1.0
Updated

History

View full ontology changelog