scientific article; zbMATH DE number 3610766
From MaRDI portal
Publication:4174789
Cited in
(57)- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
- SMT sampling via model-guided approximation
- Control-flow analysis of function calls and returns by abstract interpretation
- Narrowing operators on template abstract domains
- A scalable segmented decision tree abstract domain
- A relational shape abstract domain
- Speeding up the constraint-based method in difference logic
- Unbounded procedure summaries from bounded environments
- Precise interprocedural dataflow analysis with applications to constant propagation
- Program Analysis Using Weighted Pushdown Systems
- Model checking procedural programs
- Approximating probabilistic behaviors of biological systems using abstract interpretation
- Faster algorithms for weighted recursive state machines
- Gate splitting in LOTOS specifications using abstract interpretation
- Algebraic program analysis
- The role of linearity in sharing analysis
- Summarized dimensions revisited
- Static analysis by abstract interpretation: a mathematical programming approach
- Counterexample- and simulation-guided floating-point loop invariant synthesis
- Generalizing the template polyhedral domain
- Abstract domains for automated reasoning about list-manipulating programs with infinite data
- Static analysis of finite precision computations
- A Global Occurrence Counting Analysis for Brane Calculi
- Cache behavior prediction by abstract interpretation
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
- Incremental Abstract Interpretation
- Abstract Interpretation from a Topological Perspective
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
- Inference of ranking functions for proving temporal properties by abstract interpretation
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Polynomial Precise Interval Analysis Revisited
- Sweeping in Abstract Interpretation
- Generating all polynomial invariants in simple loops
- Donut domains: efficient non-convex domains for abstract interpretation
- Termination of floating-point computations
- A new abstraction framework for affine transformers
- Automatically replacing indices into parallel arrays with pointers to records
- Sound bit-precise numerical domains
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- Why does Astrée scale up?
- Abstract allocation as a unified approach to polyvariance in control-flow analyses
- Abstract cofibered domains: application to the alias analysis of untyped programs
- Region Analysis for Race Detection
- Widening and narrowing operators for abstract interpretation
- Precise interprocedural analysis in the presence of pointers to the stack
- Optimal inverse projection of floating-point addition
- Template polyhedra and bilinear optimization
- \textsf{TreeKs}: a functor to make numerical abstract domains scalable
- Improving strategies via SMT solving
- Precondition inference from intermittent assertions and application to contracts on collections
- Relational abstract domain of weighted hexagons
- The octagon abstract domain
- Demand-driven interprocedural analysis for map-based abstract domains
- Descending chains and narrowing on template abstract domains
- Interprocedural shape analysis for effectively cutpoint-free programs
- The octagon abstract domain for continuous constraints
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4174789)
