The following pages link to (Q4517376):
Displaying 3 items.
- 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)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)