API

Starting with v2.2.0, the nuXmv C API provides a programmatic interface to nuXmv, that is meant to facilitate the integration of the model checker with other projects.

• Tutorial and getting started with the C API
• API reference
• Download