Verification, Model Checking, and Abstract Interpretation

Interpretation Predicate Abstraction for Linked Data Structures. . . . . . . . . . . . . . . . . . . . . 65 Alexander Bakst and Ranjit Jhala An Abstract Domain of Uninterpreted Functions . . . . . . . . . . . . . . . . . . . . . 85 Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Property Directed Abstract Interpretation . . . . . . . . . . . . . . . . . . . . . . . . . . 104 Noam Rinetzky and Sharon Shoham