Attacking Large Industrial Code with Bi-Abductive Inference
Dino Distefano ( Queen Mary, University of London )
- 14:00 12th November 2010 ( week 5, Michaelmas Term 2010 )Lecture Theatre B
In joint work with Cristiano Calcagno, Peter O'Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs. This talk briefly surveys the key concepts and describes our experience in the application of bi-abduction to real-world applications and systems programs of over one million lines of code.
Share this:
