Some talks about the astrée analyzer

lundedì (06/02/2006): Overview

• Extracts of An Informal Overview of Abstract Interpretation
Beginning of a course given at the MIT
slides by Patrick Cousot
slides are available

• Astrée: Verification of Large Critical Software
Talk given at the Industrial Day of VMCAI'2005
slides by Laurent Mauborgne
slides are not available.

mercoledì (08/02/2006): Some specific numerical domains

• The arithmetic and geometric progression domain
Talk given at VMCAI 2005.
Slides are available.
Conference paper is available.
Journal paper is submitted (available on request).

• Static analysis of digital filters
Talk given at ESOP 2004.
Slides are available.
Conference paper is available.
Journal paper is submitted (available on request).