net.automatalib : 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.

javadoc --ignore-source-errors -encoding UTF-8 -sourcepath "automata-modelchecking-m3c-0.11.0-sources.jar" -d "automata-modelchecking-m3c-0.11.0-javadoc" -subpackages