On-the-Fly Reachability and Cycle Detection for Recursive State Machines.

Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan

Browse the full TACAS paper archive.