On-the-Fly Techniques for Game-Based Software Model Checking.

Adam Bakewell, Dan R. Ghica

Browse the full TACAS paper archive.