The following pages link to Loop invariants (Q5176169):
Displaying 5 items.
- Loop verification with invariants and contracts (Q2152642) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (Q5045479) (← links)
- Loop Invariants from Counterexamples (Q5233241) (← links)
- Automated Technology for Verification and Analysis (Q5491849) (← links)