Pages that link to "Item:Q1974308"
From MaRDI portal
The following pages link to Verification of a finite iteration over data structures (Q1974308):
Displaying 5 items.
- Symbolic verification method for definite iteration over data structures (Q1285767) (← links)
- Verification of finite iterations over tuples of data structures (Q1403234) (← links)
- Verification of finite iterations over collections of variable data structures (Q2467973) (← links)
- PROVING PRODUCTIVITY IN INFINITE DATA STRUCTURES (Q5389158) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)