Pages that link to "Item:Q1760096"

The following pages link to Invariant functions and invariant relations: an alternative to invariant assertions (Q1760096):

Displaying 8 items.

• A versatile concept for the analysis of loops (Q444373) (← links)
• Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
• Strongest invariant functions: Their use in the systematic analysis of while statements (Q797985) (← links)
• Convergence: integrating termination and abort-freedom (Q1647960) (← links)
• Invariance axioms and functional form restrictions in structural models (Q1650279) (← links)
• The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
• Computing Preconditions and Postconditions of While Loops (Q3105751) (← links)
• Invariant relations for affine loops (Q6592111) (← links)