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