Lazy TSO Reachability.

Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer

Browse the full FASE paper archive.