Verifying Concurrent Message-Passing C Programs with Recursive Calls.

Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili

Browse the full TACAS paper archive.