2009 | OriginalPaper | Buchkapitel
Attacking Large Industrial Code with Bi-abductive Inference
verfasst von : Dino Distefano
Erschienen in: Formal Methods for Industrial Critical Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.