model checking

Dynamic Symbolic Verification of MPI Programs
In FM 2018
Dhriti Khanna, Subodh Sharma, Cesar Rodriguez, Rahul Purandare
PDF Cite
Dynamic Symbolic Verification of MPI Programs
Zeus: Analyzing Safety of Smart Contracts.
In NDSS 2018
Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma
PDF Cite
Zeus: Analyzing Safety of Smart Contracts.
Unfolding-based Partial Order Reduction
Cesar Rodriguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
PDF Cite Project