https://easychair.org/publications/preprint/6Zwg
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
checking inseparation logic
https://deepai.org/publication/a-separation-logic-for-sequences-in-pointer-programs-and-its-decidability
A separation logic for sequences in pointer programs and its decidability | DeepAI
Jan 16, 2023 - 01/16/23 - Separation logic and its variants can describe various properties on pointer programs. However, when it comes to properties on seq...
a separation
https://deepai.org/publication/strong-separation-logic
Strong-Separation Logic | DeepAI
Jan 17, 2020 - 01/17/20 - Most automated verifiers for separation logic target the symbolic-heap fragment, disallowing both the magic-wand operator and the ...
separation logicstrongdeepai
https://arxiv.org/abs/2310.18156v1
[2310.18156v1] Sufficient Incorrectness Logic: SIL and Separation SIL
Abstract page for arXiv paper 2310.18156v1: Sufficient Incorrectness Logic: SIL and Separation SIL
2310sufficientlogicsilseparation