The following pages link to (Q4493907):
Displaying 8 items.
- Reasoning algebraically about loops (Q1306570) (← links)
- Loop verification with invariants and contracts (Q2152642) (← links)
- The Semantics of New While Loop (Q3719788) (← links)
- A generalized new while loop and its formal definition (Q3982087) (← links)
- (Q4412557) (← links)
- Refinement (Q4558901) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)