Home » net.automatalib » automata-modelchecking-m3c » 0.11.0

AutomataLib :: Model Checking :: M3C » 0.11.0

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/), ...

LicenseApache 2.0
Tagsautomata
DateNov 06, 2023
Filespom (3 KB)  jar (120 KB)  View All
RepositoriesCentral
Ranking#279200 in MvnRepository (See Top Artifacts)
Used By1 artifacts

Note: There is a new version for this artifact

New Version0.12.1

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Compile Dependencies (7)

Category/License Group / ArtifactVersionUpdates
Core Utils
Apache 2.0		com.google.guava » guava 32.1.3-jre33.5.0-jre

BSD 3-clause		info.scce » addlib-core 3.0.14.0.0

Apache 2.0		net.automatalib » automata-api 0.11.00.12.1

Apache 2.0		net.automatalib » automata-commons-util 0.11.00.12.1

Apache 2.0		net.automatalib » automata-core 0.11.00.12.1
Defect Detection
MIT		org.checkerframework » checker-qual 3.7.03.52.0
Testing
Apache 2.0		org.testng » testng 7.5.17.11.0

Test Dependencies (3)

Category/License Group / ArtifactVersionUpdates

BSD 3-clause		info.scce » addlib-cudd 3.0.14.0.0

Apache 2.0		net.automatalib » automata-serialization-dot 0.11.00.12.1

Apache 2.0		net.automatalib » automata-util 0.11.00.12.1

Licenses

LicenseURL
Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund University, Chair of Programming Systems
Malte Isbernermalte.isberner<at>gmail.commisbernerDeveloper (inactive), Maintainer (inactive)TU Dortmund University, Chair of Programming Systems