Property-Driven Fence Insertion Using Reorder Bounded Model Checking.

Saurabh Joshi, Daniel Kroening

Browse the full FM paper archive.