Pages that link to "Item:Q4930716"
From MaRDI portal
The following pages link to Size-Change Termination and Transition Invariants (Q4930716):
Displaying 6 items.
- Loop summarization using state and transition invariants (Q2248058) (← links)
- The Strength of the SCT Criterion (Q2988827) (← links)
- Loop Summarization and Termination Analysis (Q3000639) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics (Q5097622) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
