Pages that link to "Item:Q3636859"
From MaRDI portal
The following pages link to Automatic Verification of Integer Array Programs (Q3636859):
Displaying 5 items.
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- Array theory of bounded elements and its applications (Q2351149) (← links)
- Verifying Array Programs by Transforming Verification Conditions (Q2938066) (← links)
- Inferring Loop Invariants Using Postconditions (Q3586008) (← links)
- Abstraction refinement and antichains for trace inclusion of infinite state systems (Q5919079) (← links)