Temporal prophecy for proving temporal properties of infinite-state systems

Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham. Temporal prophecy for proving temporal properties of infinite-state systems. Formal Methods in System Design, 57(2):246-269, 2021. [doi]

Abstract

Abstract is missing.