TY  - RPRT
TI  - Software Model Checking via Summary-Guided Search (Extended Version)
AU  - Ruijie Fang
AU  - Zachary Kincaid
AU  - Thomas Reps
PY  - 2025
DO  - 10.1145/3763142
UR  - https://arxiv.org/abs/2508.15137
ID  - 2508.15137
ER  -