swMATH45MaRDI QIDQ12818FDOQ12818
Author name not available (Why is that?)
Official website: http://apron.cri.ensmp.fr/library/0.9.10/apron.pdf
Cited In (only showing first 100 items - show all)
- Inferring expected runtimes of probabilistic integer programs using expected sizes
- SyReNN: a tool for analyzing deep neural networks
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs
- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
- A zonotopic framework for functional abstractions
- An abstract domain to infer symbolic ranges over nonnegative parameters
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- Lower runtime bounds for integer programs
- Certified roundoff error bounds using semidefinite programming
- Acceleration of the abstract fixpoint computation in numerical program analysis
- Discovering invariants via simple component analysis
- Deciding floating-point logic with abstract conflict driven clause learning
- Determination of the underground contour of a submerged apron with a region of constant velocity when there is a salt backwater.
- Conflict-driven conditional termination
- PPLite: zero-overhead encoding of NNC polyhedra
- Static analysis of finite precision computations
- An abstract domain to discover interval linear equalities
- Static contract checking with abstract interpretation
- Experimental evaluation of numerical domains for inferring ranges
- Abstract domains for automated reasoning about list-manipulating programs with infinite data
- Inferring sufficient conditions with backward polyhedral under-approximations
- ARMC
- Aspic
- Dagger
- PPL
- SMACS
- TERMINATOR
- JACK
- NLCertify
- SymmPa
- Lackwit
- SYMBA
- Interproc
- Soot
- PolyLib
- FixBag
- Quicr
- TPDB
- PAGAI
- ASTREE
- SymDiff
- FunArray
- Octagon
- NewPolka
- IKOS
- ALICe
- KITTeL
- Deriving numerical abstract domains via principal component analysis
- FAST
- Sparrow
- Goblint
- BOXES
- ELINA
- RAML
- DyTa
- FuncTion
- LoAT
- Checkmate
- SONOLAR
- Bugbench
- Ultimate Taipan
- Verimag Polyhedra Library
- Fixpoint
- Vass
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- Fast polyhedra abstract domain
- efmtool
- polco
- PRECiSA
- Daisy
- KoAT
- FastGRNN
- Shiftry
- SyReNN
- Formalizing the Face Lattice of Polyhedra
- The octagon abstract domain
- Decentralized control of infinite systems
- Why does Astrée scale up?
- Construction of the underground contour of a hydraulic structure with constant flow velocity sections
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
- Automatically Refining Abstract Interpretations
- Behavioral cartography of timed automata
- Generalizing the template polyhedral domain
- An array content static analysis based on non-contiguous partitions
- Effective abstractions for verification under relaxed memory models
- Inference of ranking functions for proving temporal properties by abstract interpretation
- Two variations of graph test in double description method
- Code2Inv
- Title not available (Why is that?)
- Sound non-statistical clustering of static analysis alarms
- Automatic complexity analysis of integer programs via triangular weakly non-linear loops
- Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming
- Incremental closure for systems of two variables per inequality
- Formalizing the face lattice of polyhedra
- Donut domains: efficient non-convex domains for abstract interpretation
- Incrementally closing octagons
- Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
- Response of velocity and turbulence in submerged wall jets to abrupt changes from smooth to rough beds and its application to scour downstream of an apron
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
This page was built for software: Apron
