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.

• Type: Conference
• Year: 2009
• Where: FMICS
• Authors: Dino Distefano
• Keywords: Cristiano Calcagno, Extended Abstract Briefly, FMICS 2009, Formal Methods, Heap Manipulating Programs