This artifact provides the implementation of the model checker presented in the paper "M3C: Modal Meta Model
Checking" (https://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://doi.org/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/), ...
| License | Apache 2.0 |
|---|---|
| Tags | automata |
| Date | Mar 11, 2025 |
| Files | pom (3 KB) jar (122 KB) View All |
| Repositories | Central |
| Ranking | #263960 in MvnRepository (See Top Artifacts) |
| Used By | 1 artifacts |
Compile Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
BSD 3-clause |  | info.scce » addlib-core | 3.1.0 | ✔ |
Apache 2.0 | | net.automatalib » automata-api | 0.12.1 | ✔ |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.12.1 | ✔ |
Apache 2.0 | | net.automatalib » automata-core | 0.12.1 | ✔ |
Provided Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| Defect Detection MIT |  | org.checkerframework » checker-qual | 3.48.3 | 3.49.2 |
Test Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
BSD 3-clause | | info.scce » addlib-cudd | 3.1.0 | ✔ |
Apache 2.0 | | net.automatalib » automata-serialization-dot | 0.12.1 | ✔ |
Apache 2.0 | | net.automatalib » automata-util | 0.12.1 | ✔ |
| Testing Apache 2.0 |  | org.testng » testng | 7.10.2 | 7.11.0 |
Licenses
| License | URL |
|---|---|
| Apache License, Version 2.0 | https://www.apache.org/licenses/LICENSE-2.0.txt |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Markus Frohme | markus.frohme<at>udo.edu | mtf90 | Developer, Maintainer | TU Dortmund University, Chair of Programming Systems |