Static Analysis
From MaRDI portal
Publication:5897426
DOI10.1007/11547662zbMath1141.68446OpenAlexW4229853237MaRDI QIDQ5897426
Enea Zaffanella, Roberto Bagnara, Enric Rodríguez-Carbonell
Publication date: 31 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11547662
Computational aspects related to convexity (52B55) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis ⋮ Counterexample- and simulation-guided floating-point loop invariant synthesis ⋮ Validating numerical semidefinite programming solvers for polynomial invariants ⋮ View-Augmented Abstractions ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems
Uses Software
This page was built for publication: Static Analysis
