CS Seminar: Giorgio Levi, May 15, 1998

Speaker

Prof. Giorgio Levi,
Dipartimento di Informatica, Università di Pisa, Italy.

Date and Time

Friday, May 15, 1998 at 11:00

Place

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

Title

Verifica di Programmi Logici via Interpretazione Astratta

Abstract

Viene introdotto un framework per la verifica di proprietà di programmi logici, in cui le diverse proprietà (e relative tecniche di prova) sono mutuamente correlate da interpretazioni astratte. Nel framework si possono ricostruire (con una derivazione sistematica) tutti i metodi di verifica noti, inclusi quelli in cui le specifiche sono fornite attraverso un linguaggio di asserzioni. Il framework fornisce un modo per derivare automaticamente il metodo di prova e dimostrarne la completezza. L'approccio permette per la prima volta di confrontare formalmente metodi noti e di derivare nuovi metodi di verifica.

Contact Person

[Page last updated on February 22, 2002, 15:16:33.]