UMB is a new binary file format for probabilistic systems that provides a unified, efficient alternative to tool-specific textual representations.
Springer International Journal on Software Tools for Technology Transfer (STTT) 15(2), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Well-chosen transformations reduce LNT code for the Algorand consensus model by a factor of three while improving readability, with properties verified via visual checking, equivalence checking, and model checking.
citing papers explorer
-
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
UMB is a new binary file format for probabilistic systems that provides a unified, efficient alternative to tool-specific textual representations.
-
Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
Well-chosen transformations reduce LNT code for the Algorand consensus model by a factor of three while improving readability, with properties verified via visual checking, equivalence checking, and model checking.