CS Seminar: Roberto Bagnara, December 11, 2003

Speaker

Prof. Roberto Bagnara,
Dipartimento di Matematica, University of Parma, Italy.

Date and Time

Thursday, December 11, 2003 at 14:30

Place

Sala Riunioni,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

Title

Convex Polyhedra for the Analysis and Verification of Hardware and Software Systems: the ``Parma Polyhedra Library''

Abstract

The domain of convex polyhedra is employed in several systems for the analysis and verification of hardware and software components. Current applications span imperative, functional and logic languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal work of P. Cousot and N. Halbwachs, convex polyhedra have thus played an important role in the formal methods community and several critical tasks rely on their software implementations. Despite this, existing libraries for the manipulation of convex polyhedra are still research prototypes and suffer from limitations that make their usage problematic, especially in critical applications. In this talk we present the ``Parma Polyhedra Library'', a new, robust and complete implementation of convex polyhedra, concentrating on the distinctive features of the library, the novel theoretical underpinnings and the future development directions.

Contact Person

Roberto Bagnara

[Page last updated on January 21, 2013, 08:18:53.]