Home
News
Projects
Publications
Students
Contact
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
Cite
×