An Automata-Theoretic Approach to Reasoning about Infinite-State Systems.

Orna Kupferman, Moshe Y. Vardi

Browse the full CAV paper archive.