trace partitioning

From Traces to Proofs: Proving Concurrent Programs Safe
Chinmay Narayan, Subodh Sharma, Shibashis Guha, S. Arun-Kumar
PDF Cite
Efficient Verification of Concurrent Programs over TSO Memory Model
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
PDF Cite