Threader: A Verifier for Multi-threaded Programs - (Competition Contribution).

Corneliu Popeea, Andrey Rybalchenko

Browse the full TACAS paper archive.