Published February 27, 2026
| Version v2
Software
Open
Artifact for "A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning"
Authors/Creators
Description
This is the artifact accompanying the paper "A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning", which will appear on FM2026.
This artifact has been updated after the kick-the-tire reviews.
The artifact includes third-party components with different licenses.
See the LICENSE file and README for full details.