Compositional Satisfiability Solving in Separation Logic
Attributed to:
Interface reasoning for interacting systems (IRIS).
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-67067-2_26
Publication URI: http://dx.doi.org/10.1007/978-3-030-67067-2_26
Type: Book Chapter
Book Title: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (2021)
Page Reference: 578-602
ISSN: 2190-5738