Analysing All Polynomial Equations in
Abstract elided by the publisher.
783 papers · page 21 of 40
Splitting the Control Flow with Boolean Flags
Abstract elided by the publisher.
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
Abstract elided by the publisher.
Static Analysis of Dynamic Communication Systems by Partner Abstraction
Abstract elided by the publisher.
Formalised Inductive Reasoning in the Logic of Bunched Implications
Abstract elided by the publisher.
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Abstract elided by the publisher.
Modular Safety Checking for Fine-Grained Concurrency
Abstract elided by the publisher.
Shape Analysis with Structural Invariant Checkers
Abstract elided by the publisher.
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Abstract elided by the publisher.
Fixpoint-Guided Abstraction Refinements
Abstract elided by the publisher.
Astrée: From Research to Industry
Abstract elided by the publisher.
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification
Abstract elided by the publisher.
Guided Static Analysis
Abstract elided by the publisher.
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
Abstract elided by the publisher.
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis
Abstract elided by the publisher.
Hierarchical Pointer Analysis for Distributed Programs
Abstract elided by the publisher.
Abstract Error Projection
Abstract elided by the publisher.
Accelerated Data-Flow Analysis
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states. Even if no termination guarantee is provided in theory, successful results were obtained in practi…
Arithmetic Strengthening for Shape Analysis
Abstract elided by the publisher.
Precise Thread-Modular Verification
Abstract elided by the publisher.