Journal article Open Access

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

Allan Blanchard; Nikolai Kosmatov; Frédéric Loulergue


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
59
50
views
downloads
Views 59
Downloads 50
Data volume 39.8 MB
Unique views 53
Unique downloads 49

Share

Cite as