Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic

Raad, Azalea; Berdine, Josh; Dang, Hoang-Hai; Dreyer, Derek; O’Hearn, Peter; Villard, Jules

doi:10.1007/978-3-030-53291-8_14

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic

MPS-Authors

/persons/resource/persons231388

Raad, Azalea
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons215610

Dang, Hoang-Hai
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144520

Dreyer, Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Raad2020_Chapter_LocalReasoningAboutThePresence.pdf
(Publisher version), 832KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Raad, A., Berdine, J., Dang, H.-H., Dreyer, D., O’Hearn, P., & Villard, J. (2020). Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. In S. K. Lahiri, & C. Wang (Eds.), Computer Aided Verification (pp. 225-252). Berlin: Springer. doi:10.1007/978-3-030-53291-8_14.

Cite as: https://hdl.handle.net/21.11116/0000-0008-7397-C

Abstract

There is no abstract available