Static Analysis

DOI10.1007/b99688zbMath1104.68023MaRDI 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

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

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

Related Items

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