Cited in
(only showing first 100 items - show all)- Theories, solvers and static analysis by abstract interpretation
- Integrated and automated abstract interpretation, verification and testing of C/C++ modules
- Automatic modular abstractions for linear constraints
- Static Analysis
- CSSV
- FunArray
- Octagon
- Lazy-CSeq
- Scapy
- FShell
- IKOS
- ALICe
- PATRICIA
- FAST
- Sparrow
- HySon
- Pycket
- Goblint
- Racket
- STRONG
- RELAY
- SPHIN
- EUREKA
- Verasco
- OSMOSE
- gradualizerDynamicSemantics
- Barista
- TypeScript
- DyTa
- SimGridMC
- Ultimate Kojak
- CPAlien
- FrankenBit
- Jakstab
- Magiclock
- MU-CSeq
- Symbiotic 2
- CIL
- Cibai
- SONOLAR
- UppSAT
- XSat
- Julia Static Analyzer
- Bugbench
- AUTOSAR
- mypy
- PolySpace
- AGEDIS
- TALx86
- HybridSystemsLab
- PRECiSA
- RangeLab
- CoVEGI
- Compact Difference Bound Matrices
- Static analysis of run-time errors in embedded critical parallel C programs
- Demand-driven interprocedural analysis for map-based abstract domains
- Taming the Wrapping of Integer Arithmetic
- ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
- Experimental evaluation of numerical domains for inferring ranges
- \textsf{TreeKs}: a functor to make numerical abstract domains scalable
- Static contract checking with abstract interpretation
- Automation of quantitative information-flow analysis
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses
- Tools and Algorithms for the Construction and Analysis of Systems
- Converting One Type-Based Abstract Domain to Another
- Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings.
- Building certified static analysers by modular construction of well-founded lattices
- Invariant generation through strategy iteration in succinctly represented control flow graphs
- A parametric segmentation functor for fully automatic and scalable array content analysis
- Static analysis of run-time errors in embedded real-time parallel C programs
- Exploring approximations for floating-point arithmetic using UppSAT
- Checking array bounds by abstract interpretation and symbolic expressions
- The two variable per inequality abstract domain
- Programming Languages and Systems
- Programming Languages and Systems
- Integration of verification methods for program systems
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program
- The octagon abstract domain
- An abstract memory functor for verified C static analyzers
- Mutation-Based Test Case Generation for Simulink Models
- An approximation framework for solvers and decision procedures
- FEVS: a functional equivalence verification suite for high-performance scientific computing
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
- Abstract Interpretation of FIFO Replacement
- Combining model checking and data-flow analysis
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
- Static Analysis of String Manipulations in Critical Embedded C Programs
- Precondition inference from intermittent assertions and application to contracts on collections
- Some ways to reduce the space dimension in polyhedra computations
- Abstract fixpoint computations with numerical acceleration methods
- Relational abstract domain of weighted hexagons
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Improving strategies via SMT solving
- Inferring complete initialization of arrays
- A Galois connection calculus for abstract interpretation
- Sawja: static analysis workshop for Java
- The reduced product of abstract domains and the combination of decision procedures
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
This page was built for software: ASTREE
