Threader: A constraint-based verifier for multithreaded programs (0)

by A Gupta, C Popeea, A Rybalchenko
Venue:In CAV 2011