Pages that link to "Item:Q2848907"
From MaRDI portal
The following pages link to Simplifying the Verification of Quantified Array Assertions via Code Transformation (Q2848907):
Displaying 5 items.
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Scaling bounded model checking by transforming programs with arrays (Q2409744) (← links)
- Verifying Array Programs by Transforming Verification Conditions (Q2938066) (← links)
- (Q2963878) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)