Shared Memory

Unfolding-based Partial Order Reduction
Cesar Rodriguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
PDF Cite Project