TY  - RPRT
TI  - Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
AU  - Makai Mann
AU  - Ahmed Irfan
AU  - Alberto Griggio
AU  - Oded Padon
AU  - Clark Barrett
PY  - 2022
DO  - 10.46298/lmcs-18(3:26)2022
UR  - https://arxiv.org/abs/2101.06825
ID  - 2101.06825
ER  -