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
Subodh Sharma
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation

Related