Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines.

Clemens Dubslaff, Patrick Wienhft, Ansgar Fehnker

Browse the full SEFM paper archive.