This package provides tools to convert the high level representation of an autonomous system (implemented using RoAML, a combination of BT XML + a ROS flavoured set of SCXML (also called ASCXML) files) to a formal model (i.e. JANI) or a verifiable one (i.e. plain SCXML).
Please access the documentation via convince-project.github.io/AS2FM
See Contributing.
Feedback is highly appreciated. Please open issues on new ideas, bugs, etc. here at as2fm/issues or reach out to the maintainers.
AS2FM comes under the Apache-2.0 license, see LICENSE.