HistMSO is a new MSO logic that expresses 39 of 42 consistency models and reduces satisfiability and model-checking to MSO over words via the MONA tool.
In: Interna- tional Conference on Computer Aided Verification
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
method 1
citation-polarity summary
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1roles
method 1polarities
use method 1representative citing papers
citing papers explorer
-
HistMSO: A Logic for Reasoning about Consistency Models with MONA
HistMSO is a new MSO logic that expresses 39 of 42 consistency models and reduces satisfiability and model-checking to MSO over words via the MONA tool.