Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
model checking
Dynamic Symbolic Verification of MPI Programs
In FM 2018
Dhriti Khanna
,
Subodh Sharma
,
Cesar Rodriguez
,
Rahul Purandare
Zeus: Analyzing Safety of Smart Contracts.
In NDSS 2018
Sukrit Kalra
,
Seep Goel
,
Mohan Dhawan
,
Subodh Sharma
Unfolding-based Partial Order Reduction
Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature.
Cesar Rodriguez
,
Marcelo Sousa
,
Subodh Sharma
,
Daniel Kroening
Cite
×