-
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.
