A CHR-Based Solver for Weak Memory Behaviors

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
PDF
Type
Conference paper
Publication
Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016.