Conceptinvariant
Invariant
An assertion that always holds true during program execution. Invariants are used to express specifications and to reason about programs, and are a core concept in formal verification.
Timeline (last 90 days)
Oct 19
An invariant is an assertion that is always true during program execution, and is one of the most commonly used forms of specification expression in formal verification and program reasoning.
Unverified50%