Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof.

Gadi Tellez, James Brotherston

Browse the full CADE paper archive.