APRON

Numerical Program Analysis

This projects belongs to the ACI "Sécurité & Informatique"



Home

Partners

The proposal (.ps)

Intermediary report (.pdf, in French)

APRON Interface and librairies

Publications

Widening Benchmarks


Meetings

Paris, 11/08/06

Paris, 09/02/06

Paris, 20/09/05

Palaiseau, 28/06/05

Paris, 15/03/05

Paris, 01/02/05

Paris, 21/01/05

Paris, 17/01/05

Paris, 16/12/04

Toulouse, 15-17/10/04

Paris, 28/10/04


Events

Paris, 21/01/05

London, 07-09/09/05





























Generic Abstract Domain Interface - Third Meeting

ENS Ulm, Paris, March 15, 2005


Attendance: Corinne Ancourt, François Irigoin, Bertrand Jeannet, Nicolas Halbwachs, Jérome Feret, Antoine Miné, Duong Nguyen, Sebastian Pop

Valid HTML 4.0! Valid CSS!