4.0.0 net.automatalib automata-modelchecking-parent 0.11.0 ../pom.xml automata-modelchecking-m3c AutomataLib :: Model Checking :: M3C This artifact provides the implementation of the model checker presented in the paper "M3C: Modal Meta Model Checking" (https://dx.doi.org/10.1007/978-3-030-00244-2_15) by Bernhard Steffen and Alnis Murtovi. The paper is based on "Model Checking for Context-Free Processes" (https://link.springer.com/chapter/10.1007/BFb0084787) 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. net.automatalib automata-api net.automatalib automata-commons-util net.automatalib automata-core com.google.guava guava info.scce addlib-core org.checkerframework checker-qual info.scce addlib-cudd ${addlib.version} test net.automatalib automata-serialization-dot test net.automatalib automata-util test org.testng testng org.codehaus.mojo javacc-maven-plugin