||al DISI- Sala Conferenze-3 piano
||Attacking Large Industrial Code with Bi-Abductive Inference
||Prof. Dino Di Stefano
||Queen Mary, University of London, UK
||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.