Skip to content

NeVerTools/MOCO

 
 

Repository files navigation

MOdel COmpiler (moco)

Summary overview

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.

Documentation

Please access the documentation at nevertools.github.io/MOCO

Further Information

Contribution Guidelines

See Contributing.

Feedback

Feedback is highly appreciated. Please open issues on new ideas, bugs, etc. at moco/issues or reach out to the maintainers.

License

MOCO comes under the Apache-2.0 license, see LICENSE.

About

MOdel COmpiler

Resources

License

Contributing

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Languages

  • Python 97.1%
  • CMake 2.8%
  • Other 0.1%