Skip to main content

Paper accepted at SETTA'25

· One min read

We are proud that our paper "Separation Logic with Heap Variables: A Decision Procedure and Its Application", has been accepted at The Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA) - 2025.

@article{xie2025slhv,
  title={Separation Logic with Heap Variables: A Decision Procedure and Its Application},
  author={Xie Li and Yutian Zhu and Taolue Chen and Fu Song and Zhilin Wu},
  booktitle="The Symposium on Software Engineering: Theories, Tools, and Applications (SETTA)",
  year={2025}
}