Invariant Check
Kind: technique
Layer: Computation Core
Record: lexicon:invariant-check
Canonical: Lexicon
A technique for checking after each change that the rules a state must always satisfy still hold.
Listed in Lexicon terms, after Precondition Check and before Postcondition Check.