From Traces to Proofs: Proving Concurrent Programs Safe

Chinmay Narayan, Subodh Sharma, Shibashis Guha, S. Arun-Kumar
July, 2016
PDF Cite
Type
Conference paper
Publication
10th International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China
trace partitioning
Subodh Sharma
Subodh Sharma
Associate Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation