Omega
From MaRDI portal
Software:26931
swMATH15037MaRDI QIDQ26931FDOQ26931
Author name not available (Why is that?)
Cited In (10)
- Advanced optimization strategies in the Rice dHPF compiler
- Computing invariants with transformers: experimental scalability and accuracy
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm
- Calculating exact transitive closure for a normalized affine integer tuple relation
- Title not available (Why is that?)
- Partial predicate abstraction and counter-example guided refinement
- Compositional Verification for Component-Based Systems and Application
- Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols
- 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
