Resource-Constrained Model Checking of Recursive Programs.

Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan

Browse the full TACAS paper archive.