The following pages link to Omega (Q26931):
Displaying 10 items.
- Computing invariants with transformers: experimental scalability and accuracy (Q281287) (← links)
- Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs (Q511402) (← links)
- Partial predicate abstraction and counter-example guided refinement (Q2291815) (← links)
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm (Q2355984) (← links)
- (Q2769577) (← links)
- Calculating exact transitive closure for a normalized affine integer tuple relation (Q2839225) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Advanced optimization strategies in the Rice dHPF compiler (Q4790867) (← links)
- Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols (Q4921500) (← links)
