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

C. Popeea,A. Rybalchenko
DOI: https://doi.org/10.1007/978-3-642-36742-7_51
2013-03-16
Abstract:
What problem does this paper attempt to address?