TY  - RPRT
TI  - Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
AU  - Dirk Beyer
AU  - Nian-Ze Lee
AU  - Philipp Wendler
PY  - 2024
UR  - https://arxiv.org/abs/2208.05046
ID  - 2208.05046
ER  -