Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof. - Gadi Tellez; James Brotherston (CADE, 2017)

Automatically verifying temporal properties of heap programs with cyclic proof. - Gadi Tellez (2019)