2009 | OriginalPaper | Chapter
Attacking Large Industrial Code with Bi-abductive Inference
Author : Dino Distefano
Published in: Formal Methods for Industrial Critical Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.