SL-COMP: competition of solvers for separation logic
The work
| Title | SL-COMP: competition of solvers for separation logic |
|---|---|
| Authors | Mihaela Sighireanu; Juan A. Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll; others |
| Type | conference paper |
| Year | 2019 |
| Citekey | sighireanu2019sl |
Where it appeared
| Published in | International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Publisher | Springer |
| Pages | 116--132 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{sighireanu2019sl,
title = {SL-COMP: competition of solvers for separation logic},
author = {Mihaela Sighireanu and Juan A. Navarro Pérez and Andrey Rybalchenko and Nikos Gorogiannis and Radu Iosif and Andrew Reynolds and Cristina Serban and Jens Katelaan and Christoph Matheja and Thomas Noll and others},
year = {2019},
booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
pages = {116--132},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/sighireanu2019sl/ and will keep doing so.