Home | Search | Help  
Home Page Università di Genova

Seminar Details


Date 9-9-2009
Time 14:00
Room/Location al DISI- Sala Conferenze-3 piano
Title Attacking Large Industrial Code with Bi-Abductive Inference
Speaker Prof. Dino Di Stefano
Affiliation Queen Mary, University of London, UK
Link https://www.disi.unige.it/index.php?eventsandseminars/seminars
Abstract In this talk we will introduce bi-abductive inference and its use in reasoning about heap manipulating programs. The talk will survey the key concepts and describe our experience in the application of bi-abduction to real-world applications and systems of over one million lines of code.
Back to Seminars