Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898628
DOI10.1007/11609773zbMath1176.68050OpenAlexW2496613029MaRDI QIDQ5898628
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11609773
Symbolic computation and algebraic computation (68W30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Why does Astrée scale up? ⋮ A minimalistic look at widening operators ⋮ Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra ⋮ A generic framework to coarse-grain stochastic reaction networks by abstract interpretation ⋮ Discovering invariants via simple component analysis ⋮ Inferring Min and Max Invariants Using Max-Plus Polyhedra ⋮ The two variable per inequality abstract domain ⋮ Generalizing the Template Polyhedral Domain ⋮ Refinement to certify abstract interpretations: illustrated on linearization for polyhedra ⋮ Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations ⋮ Stratified Static Analysis Based on Variable Dependencies ⋮ Inferring functional properties of matrix manipulating programs by abstract interpretation ⋮ A zonotopic framework for functional abstractions ⋮ Static Contract Checking with Abstract Interpretation ⋮ Static Analysis of Finite Precision Computations ⋮ View-Augmented Abstractions ⋮ A Note on the Inversion Join for Polyhedral Analysis ⋮ Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships ⋮ Polynomial Precise Interval Analysis Revisited
Uses Software
This page was built for publication: Verification, Model Checking, and Abstract Interpretation
