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": []
}
63
53
views
downloads
Views 63
Downloads 53
Data volume 42.2 MB
Unique views 57
Unique downloads 52

Share

Cite as