|
CS Seminar: Enea Zaffanella, December 11, 2003
- Speaker
-
Dr. Enea Zaffanella,
Dipartimento di Matematica,
University of Parma, Italy.
- Date and Time
-
Thursday, December 11, 2003 at 15:45
- Place
-
Sala Riunioni,
Dipartimento di Matematica,
Università di Parma,
Via D'Azeglio 85/A,
I-43100 Parma
- Title
-
New Widening Operators for Convex Polyhedra
- Abstract
-
In the Abstract Interpretation framework, widening operators provide a
simple and general mechanisms for enforcing and accelerating the
convergence of fixpoint computations. For the domain of convex
polyhedra, the original widening operator proposed by Cousot and
Halbwachs amply deserves the name of standard widening since most
analysis and verification tools that employ convex polyhedra also
employ that operator. Nonetheless, there is an unfulfilled demand for
more precise widening operators. In this talk we introduce the
standard widening and we present a framework for the systematic
definition of new widening operators improving on it. The framework is
then instantiated so as to obtain a new widening operator that
combines several heuristics and uses the standard widening as a last
resort so that it is never less precise.
- Contact Person
-
Roberto Bagnara
[Page last updated on November 03, 2003, 12:13:37.]
|