Spade: Verification of Multithreaded Dynamic and Recursive Programs.

Gal Patin, Mihaela Sighireanu, Tayssir Touili

Browse the full CAV paper archive.