TY  - RPRT
TI  - Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems
AU  - Oded Padon
AU  - Jochen Hoenicke
AU  - Kenneth L. McMillan
AU  - Andreas Podelski
AU  - Mooly Sagiv
AU  - Sharon Shoham
PY  - 2021
UR  - https://arxiv.org/abs/2106.00966
ID  - 2106.00966
ER  -