On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk).

Ahmed Bouajjani

Browse the full CONCUR paper archive.