Boosting Sequential Consistency Checking Using Saturation.

Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Browse the full ATVA paper archive.