Apron

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
• TREX
• 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

This page was built for software: Apron