Cited in
(17)- Advanced optimization strategies in the Rice dHPF compiler
- Computing invariants with transformers: experimental scalability and accuracy
- Analyzing automata with Presburger arithmetic and uninterpreted function symbols
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm
- AGATHA
- isl
- InVeSt
- ALICe
- TRACO
- PipLib
- Salsa
- Calculating exact transitive closure for a normalized affine integer tuple relation
- scientific article; zbMATH DE number 1701750 (Why is no real title available?)
- Partial predicate abstraction and counter-example guided refinement
- Compositional Verification for Component-Based Systems and Application
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
- Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs
This page was built for software: Omega
