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