TY  - RPRT
TI  - S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
AU  - Quang Loc Le
AU  - Jun Sun
AU  - Long H. Pham
AU  - Shengchao Qin
PY  - 2022
UR  - https://arxiv.org/abs/2209.09327
ID  - 2209.09327
ER  -