Omega
From MaRDI portal
Software:26931
No author found.
Related Items (10)
Computing invariants with transformers: experimental scalability and accuracy ⋮ Advanced optimization strategies in the Rice dHPF compiler ⋮ Unnamed Item ⋮ Compositional Verification for Component-Based Systems and Application ⋮ Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs ⋮ Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols ⋮ Partial predicate abstraction and counter-example guided refinement ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Calculating Exact Transitive Closure for a Normalized Affine Integer Tuple Relation ⋮ Using basis dependence distance vectors in the modified Floyd-Warshall algorithm
This page was built for software: Omega
