Implied Set Closure and Its Application to Memory Consistency Verification.

Surender Baswana, Shashank K. Mehta, Vishal Powar

Browse the full CAV paper archive.