Academic
Academic
Home
News
Teaching
Projects
Publications
Students
Contact
Light
Dark
Automatic
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
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation
Related
Efficient Verification of Concurrent Programs over TSO Memory Model
Privacy and Digitisation
IoT Security
Verification of Message Passing Systems
Verification of C11 Concurrency
Cite
×