MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
PDF DOI
Type
Journal article
Publication
Computer Languages, Systems & Structures