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

AutomataLib :: Model Checking » 0.11.0

Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.

LicenseApache 2.0
Tagsautomata
DateNov 06, 2023
Filespom (1 KB)  View All
RepositoriesCentral
Ranking#775523 in MvnRepository (See Top Artifacts)
VulnerabilitiesVulnerabilities from dependencies:
CVE-2024-47072
CVE-2023-6378

Note: There is a new version for this artifact

New Version0.12.1

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

Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Managed Dependencies (52)

Category/License Group / ArtifactVersionUpdates
Logging
EPL 1.0LGPL 2.1		ch.qos.logback » logback-classic1 vulnerability 1.3.111.5.21

GPL 2.0		com.github.caciocavallosilano » cacio-tta 1.101.18

Apache 2.0		com.github.misberner.buildergen » buildergen 0.1 ✔

Apache 2.0		com.github.misberner.duzzt » duzzt-processor 0.1.0 ✔

BSD		com.github.misberner.graphviz-awt-shapes » graphviz-awt-shapes 0.0.1 ✔
Core Utils
Apache 2.0		com.google.guava » guava 32.1.3-jre33.5.0-jre
XML Processing
BSD 3-clause		com.thoughtworks.xstream » xstream1 vulnerability 1.4.201.4.21

BSD		dk.brics » automaton 1.12-4 ✔

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

BSD 3-clause		info.scce » addlib-cudd 3.0.14.0.0
Annotation Lib
EPL 2.0GPL		javax.annotation » javax.annotation-api 1.3.23.0.0

Apache 2.0		net.automatalib » automata-adapters-parent 0.11.00.12.1

Apache 2.0		net.automatalib » automata-brics 0.11.00.12.1

Apache 2.0		net.automatalib » automata-api 0.11.00.12.1

Apache 2.0		net.automatalib » automata-build-parent 0.11.00.12.1

Apache 2.0		net.automatalib » automata-commons-parent 0.11.00.12.1
Collections
Apache 2.0		net.automatalib » automata-commons-smartcollections 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

Apache 2.0		net.automatalib » automata-incremental 0.11.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-parent 0.11.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-ltsmin 0.11.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-m3c 0.11.00.12.1

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

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

Apache 2.0		net.automatalib » automata-serialization-core 0.11.0 ✔

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

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

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

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

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

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

Apache 2.0		net.automatalib » automata-util 0.11.00.12.1

Apache 2.0		net.automatalib » automata-visualization-parent 0.11.00.12.1

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

Apache 2.0		net.automatalib » automata-jung-visualizer 0.11.00.12.1

Apache 2.0		net.automatalib.archetypes » automata-archetypes-parent 0.11.00.12.1
Maven Archetype
Apache 2.0		net.automatalib.archetypes » basic 0.11.00.12.1
Maven Archetype
Apache 2.0		net.automatalib.archetypes » complete 0.11.00.12.1

Apache 2.0		net.automatalib.distribution » automata-distribution 0.11.00.12.1

Apache 2.0		net.automatalib.tooling » automata-build-tools 0.11.0 ✔

BSD		net.sf.jung » jung-api 2.1.1 ✔
Graph Alg
BSD		net.sf.jung » jung-algorithms 2.1.1 ✔

BSD		net.sf.jung » jung-graph-impl 2.1.1 ✔

BSD		net.sf.jung » jung-visualization 2.1.1 ✔

Apache 2.0		org.assertj » assertj-swing 3.17.1 ✔

Apache 2.0		org.assertj » assertj-swing-testng 3.17.1 ✔
Defect Detection
MIT		org.checkerframework » checker-qual 3.7.03.52.0

MIT		org.kohsuke.metainf-services » metainf-services 1.81.11
Mocking
MIT		org.mockito » mockito-core 4.11.05.20.0
Logging
MIT		org.slf4j » slf4j-api 2.0.92.0.17
Testing
Apache 2.0		org.testng » testng 7.5.17.11.0

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