This package provides tools to convert a RoaML model system description to a lower-level, plain SCXML representation that can be used in model checking tools. Examples of such tools are MOON and SCAn.
Please access the documentation at nevertools.github.io/MOCO
See Contributing.
Feedback is highly appreciated. Please open issues on new ideas, bugs, etc. at moco/issues or reach out to the maintainers.
MOCO comes under the Apache-2.0 license, see LICENSE.