A CHR-Based Solver for Weak Memory Behaviors.

Allan Blanchard, Nikolai Kosmatov, Frdric Loulergue

Browse the full ISSTA paper archive.