Static Analysis

DOI10.1007/b99688zbMath1104.68023OpenAlexW4291238798MaRDI QIDQ5466578

Henny B. Sipma, Sriram Sankaranarayanan, Zohar Manna

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99688

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (17)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Combining Model Checking and Data-Flow Analysis ⋮ A sums-of-squares extension of policy iterations ⋮ Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods ⋮ SAT modulo linear arithmetic for solving polynomial constraints ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Incremental closure for systems of two variables per inequality ⋮ Improving Strategies via SMT Solving ⋮ Property-directed incremental invariant generation ⋮ Constructing invariants for hybrid systems ⋮ Complexity and Algorithms for Monomial and Clausal Predicate Abstraction ⋮ Invariant Synthesis for Combined Theories ⋮ Automatically Refining Abstract Interpretations ⋮ Acceleration in Convex Data-Flow Analysis ⋮ Inferring expected runtimes of probabilistic integer programs using expected sizes ⋮ Logahedra: A New Weakly Relational Domain ⋮ Template polyhedra and bilinear optimization

This page was built for publication: Static Analysis