-
Réduction du nombre de variables en analyse de relations linéaires
This thesis takes place in automatic verification of numerical <br />properties, mainly for embeded softwares. During verification one <br />must... -
Automatic and formal certification of critical systems by instrumentation of ...
Mes travaux de doctorat ont porté sur la certification de programmes impératifs utilisés dans des applications critiques. Les certificats établissent la validité des... -
Polyèdres et Compilation
22 pages -
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... -
Interprétation abstraite pour la précision numérique
L'interprétation abstraite est une théorie décrivant comment calculer automatiquement des propriétés sur des programmes. Elle est notamment utilisée pour prouver... -
Analysis of probabilistic programs by abstract interpretation
version corrigée de quelques scories -
Static analysis with dioids and polynomial ideals
Static analysis aims to verify that programs behave correctly i.e. satisfy safety properties. However, generating properties verified by a program is a difficult... -
Static analysis by abstract interpretation of concurrent programs
This report presents the bulk of my research work from the completion of my PhD, in late 2004, until the present day. The overall aim of my research is the development... -
Static analysis of numerical properties in the presence of pointers
The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on... -
Abstract Animator for Temporal Specifications
Colloque sans acte à diffusion restreinte.
