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
Subodh Sharma
Associate Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation