The following pages link to A Logic of Singly Indexed Arrays (Q5505581):
Displaying 6 items.
- Decision procedures for flat array properties (Q287272) (← links)
- Array theory of bounded elements and its applications (Q2351149) (← links)
- A New Acceleration-Based Combination Framework for Array Properties (Q2964461) (← links)
- Iterating Octagons (Q3617767) (← links)
- Array Folds Logic (Q4633555) (← links)
- Abstraction refinement and antichains for trace inclusion of infinite state systems (Q5919079) (← links)