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