Threader: A Constraint-Based Verifier for Multi-threaded Programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Browse the full CAV paper archive.