Unfolding-based Partial Order Reduction

Cesar Rodriguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
September 2015
PDF 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