-
Proving termination by policy iteration
International audience -
Control-flow analysis of function calls and returns by abstract interpretation
International audience -
McScM: A General Framework for the Verification of Communicating Machines
International audience -
Knockout Prediction for Reaction Networks with Partial Kinetic Information
International audience -
Sardana: an Automatic Tool for Numerical Accuracy Optimization
International audience -
A New Abstract Domain for the Representation of Mathematically Equivalent Exp...
International audience -
Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sarda...
International audience -
Abstract Interpretation of FIFO channels
We address the analysis and the verification of communicating systems, which are systems built from sequential processes communicating via unbounded FIFO channels. We... -
A PCC Architecture based on Certified Abstract Interpretation
Proof Carrying Code (PCC) is a technique for downloading mobile code on a host machine while ensuring that the code adheres to the host's security policy. We show how... -
Succinct Representations for Abstract Interpretation
International audience -
Abstract acceleration in Linear relation analysis
{Linear Relation Analysis~\cite{cousot78,halbwach79} is now a classical abstract interpretation based on an approximation of reachable numerical states of a program by... -
Logico-Numerical Verification Methods for Discrete and Hybrid Systems
This thesis studies the automatic verification of safety properties of logico-numerical discrete and hybrid systems. These systems have Boolean and numerical variables... -
Formal Verification of a C Value Analysis Based on Abstract Interpretation
International audience -
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Co-located with SAS 2012 -
Static Analysis
International audience -
Polyèdres et compilation
International audience -
Synthesizing Accurate Floating-Point Formulas
International audience -
Automatic State Reaching for Debugging Reactive Programs
In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027 -
Analysis of probabilistic programs by abstract interpretation
version corrigée de quelques scories -
The ASTRÉE analyzer
Astrée is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C...
