Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
trace partitioning
From Traces to Proofs: Proving Concurrent Programs Safe
Chinmay Narayan
,
Subodh Sharma
,
Shibashis Guha
,
S. Arun-Kumar
Efficient Verification of Concurrent Programs over TSO Memory Model
Chinmay Narayan
,
Subodh Sharma
,
S. Arun-Kumar
Cite
×