Octagon
From MaRDI portal
Cited in
(69)- Abstract acceleration of general linear loops
- scientific article; zbMATH DE number 1948392 (Why is no real title available?)
- Static Analysis
- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
- scientific article; zbMATH DE number 5175527 (Why is no real title available?)
- The Constraint Database Approach to Software Verification
- Donut domains: efficient non-convex domains for abstract interpretation
- A sparse evaluation technique for detailed semantic analyses
- Static Analysis by Policy Iteration on Relational Domains
- Safety problems are NP-complete for flat integer programs with octagonal loops
- scientific article; zbMATH DE number 1953021 (Why is no real title available?)
- scientific article; zbMATH DE number 5194318 (Why is no real title available?)
- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- Proof-carrying code from certified abstract interpretation and fixpoint compression
- Solving difference constraints over modular arithmetic
- Non-disjunctive Numerical Domain for Array Predicate Abstraction
- Modelling declassification policies using abstract domain completeness
- Reachability analysis for timed automata using max-plus algebra
- Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Policy iteration within logico-numerical abstract domains
- On solving Boolean combinations of UTVPI constraints.
- Splitting the Control Flow with Boolean Flags
- Modular inference of subprogram contracts for safety checking
- Apron
- VINAS-P
- Aspic
- PPL
- JACK
- Interproc
- Pinapa
- ASTREE
- CSSV
- BOXES
- PipLib
- Static analysis of run-time errors in embedded critical parallel C programs
- Relational thread-modular static value analysis by abstract interpretation
- An abstract domain to discover interval linear equalities
- Logic Programming
- Static contract checking with abstract interpretation
- Extracting program logics from abstract interpretations defined by logical relations
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
- Two variables per linear inequality as an abstract domain
- Exact join detection for convex polyhedra and other numerical abstractions
- Invariant generation through strategy iteration in succinctly represented control flow graphs
- Programming Languages and Systems
- Programming Languages and Systems
- Static Analysis
- Static Analysis
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
- Computer Aided Verification
- Algebraic Methodology and Software Technology
- Algebraic Methodology and Software Technology
- Automatic verification of determinism for structured parallel programs
- Automatic abstraction for intervals using Boolean formulae
- Logical Interpretation: Static Program Analysis Using Theorem Proving
- Opaque Predicates Detection by Abstract Interpretation
- Integrating Policy Iterations in Abstract Interpreters
- Fully Bounded Polyhedral Analysis of Integers with Wrapping
- A constraint solver based on abstract domains
- Interval slopes as a numerical abstract domain for floating-point variables
- Automatic modular abstractions for template numerical constraints
- Program Analysis Using Symbolic Ranges
- Theories, solvers and static analysis by abstract interpretation
- Automatic modular abstractions for linear constraints
- An abstract domain to infer ordinal-valued ranking functions
- Precise Relational Invariants Through Strategy Iteration
This page was built for software: Octagon
