Verifying Temporal Heap Properties Specified via Evolution Logic.

Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Browse the full ESOP paper archive.