Package net.automatalib.modelchecker.m3c

This package (and sub-packages) provides the implementation of the model checker presented in the paper M3C: Modal Meta Model Checking by Bernhard Steffen and Alnis Murtovi. The paper is based on Model Checking for Context-Free Processes by Olaf Burkart and Bernhard Steffen.

Note that this implementation requires a runtime dependency to a specific ADDLib backend (see https://add-lib.scce.info/), which is not explicitly included in this artifact due to packaging reasons.