Temporal Property Verification as a Program Analysis Task.

Byron Cook, Eric Koskinen, Moshe Y. Vardi

Browse the full CAV paper archive.