Cited in
(only showing first 100 items - show all)- Deriving numerical abstract domains via principal component analysis
- Decentralized control of infinite systems
- Certified roundoff error bounds using semidefinite programming
- Determination of the underground contour of a submerged apron with a region of constant velocity when there is a salt backwater.
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs
- SyReNN: a tool for analyzing deep neural networks
- Static contract checking with abstract interpretation
- Behavioral cartography of timed automata
- Acceleration of the abstract fixpoint computation in numerical program analysis
- Discovering invariants via simple component analysis
- Experimental evaluation of numerical domains for inferring ranges
- An abstract domain to infer symbolic ranges over nonnegative parameters
- A zonotopic framework for functional abstractions
- Generalizing the template polyhedral domain
- Abstract domains for automated reasoning about list-manipulating programs with infinite data
- Formalizing the Face Lattice of Polyhedra
- Static analysis of finite precision computations
- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
- 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
- Inferring expected runtimes of probabilistic integer programs using expected sizes
- TREX
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- 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
- Why does Astrée scale up?
- FAST
- Sparrow
- Goblint
- BOXES
- ELINA
- RAML
- DyTa
- FuncTion
- LoAT
- Checkmate
- SONOLAR
- Bugbench
- Ultimate Taipan
- Verimag Polyhedra Library
- Fixpoint
- Vass
- Deciding floating-point logic with abstract conflict driven clause learning
- efmtool
- polco
- PRECiSA
- Daisy
- KoAT
- FastGRNN
- Shiftry
- SyReNN
- Inferring sufficient conditions with backward polyhedral under-approximations
- Fast polyhedra abstract domain
- An abstract domain to discover interval linear equalities
- Construction of the underground contour of a hydraulic structure with constant flow velocity sections
- Conflict-driven conditional termination
- PPLite: zero-overhead encoding of NNC polyhedra
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- Lower runtime bounds for integer programs
- The octagon abstract domain
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
- Automatically Refining Abstract Interpretations
- Quantitative static analysis of communication protocols using abstract Markov chains
- Code2Inv
- Deductive verification of floating-point Java programs in KeY
- Stratified static analysis based on variable dependencies
- Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra
- Incremental closure for systems of two variables per inequality
- 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
- scientific article; zbMATH DE number 1149866 (Why is no real title available?)
- Sound non-statistical clustering of static analysis alarms
- An accurate join for zonotopes, preserving affine input/output relations
- Formalizing the face lattice of polyhedra
- The Estimation of Integral Seepage Characteristics of Hydraulic Structures in Terms of the Theory of Inverse Boundary-Value Problems
This page was built for software: Apron
