Enhancing Top-Down Solving with Widening and Narrowing

DOI10.1007/978-3-319-27810-0_14zbMath1474.68043OpenAlexW2293127520MaRDI QIDQ2796229

Helmut Seidl, Kalmer Apinis, Vesal Vojdani

Publication date: 23 March 2016

Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27810-0_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Three improvements to the top-down solver ⋮ A Multiresolution Discrete Element Method for Triangulated Objects with Implicit Time stepping ⋮ Incremental Abstract Interpretation ⋮ Enforcing termination of interprocedural analysis ⋮ Demand-driven interprocedural analysis for map-based abstract domains

This page was built for publication: Enhancing Top-Down Solving with Widening and Narrowing