Reasoning About TSO Programs Using Reduction and Abstraction.

Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran

Browse the full CAV paper archive.