cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

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

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links