Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems.

Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham

Browse the full FMCAD paper archive.