On Automation of CTL* Verification for Infinite-State Systems.

Byron Cook, Heidy Khlaaf, Nir Piterman

Browse the full CAV paper archive.