Guided Static Analysis

DOI10.1007/978-3-540-74061-2_22zbMath1211.68087OpenAlexW1568984608MaRDI QIDQ3612009

Denis Gopan, Thomas W. Reps

Publication date: 3 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_22

Mathematics Subject Classification ID

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

Related Items (7)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Backward symbolic execution with loop folding ⋮ Verifying pointer safety for programs with unknown calls ⋮ Decoupling the ascending and descending phases in abstract interpretation ⋮ Acceleration of the abstract fixpoint computation in numerical program analysis ⋮ A Modular Static Analysis Approach to Affine Loop Invariants Detection ⋮ Abstract Fixpoint Computations with Numerical Acceleration Methods

This page was built for publication: Guided Static Analysis