Pages that link to "Item:Q2488048"
From MaRDI portal
The following pages link to Symbolic method of verification of definite iterations over altered data structures (Q2488048):
Displayed 4 items.
- Symbolic verification method for definite iteration over data structures (Q1285767) (← links)
- Verification of finite iterations over collections of variable data structures (Q2467973) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)
- Logic for reasoning about bugs in loops over data sequences (IFIL) (Q6062741) (← links)