Sciweavers

Share
FMICS
2009
Springer

Attacking Large Industrial Code with Bi-abductive Inference

10 years 6 months ago
Attacking Large Industrial Code with Bi-abductive Inference
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 [5]. This extended abstract 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.
Dino Distefano
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FMICS
Authors Dino Distefano
Comments (0)
books