TY  - RPRT
TI  - Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract)
AU  - Tobias Reinhard
AU  - Justus Fasse
AU  - Bart Jacobs
PY  - 2023
UR  - https://arxiv.org/abs/2309.09731
ID  - 2309.09731
ER  -