From Traces to Proofs: Proving Concurrent Programs Safe

Chinmay Narayan, Subodh Sharma, Shibashis Guha, S. Arun-Kumar
July 2016
PDF
Type
Conference paper
Publication
10th International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China
trace partitioning