Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
Light
Dark
Automatic
Unfolding-based Partial Order Reduction
Cesar Rodriguez
,
Marcelo Sousa
,
Subodh Sharma
,
Daniel Kroening
September 2015
PDF
Cite
Project
Type
Conference paper
Publication
In
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid Spain.
model checking
shared memory
event structures
partial order reduction
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation
Related
Dynamic Symbolic Verification of MPI Programs
Zeus: Analyzing Safety of Smart Contracts.
Cite
×