Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings.

Raz Lotan, Neta Elad, Oded Padon, Sharon Shoham

Browse the full TACAS paper archive.