Synthesizing History and Prophecy Variables for Symbolic Model Checking.

Cole Vick, Kenneth L. McMillan

Browse the full VMCAI paper archive.