Maven Repository: hu.bme.mit.theta » theta-cfa

Theta Cfa » 6.15.0

Cfa subproject in the Theta model checking framework

License	Apache 2.0
HomePage	https://theta.mit.bme.hu/ 🔍 Inspect URL
Date	May 16, 2025
Files	pom (4 KB) jar (186 KB) View All
Repositories	Central
Ranking	#67390 in MvnRepository (See Top Artifacts)
Used By	7 artifacts
Vulnerabilities	Vulnerabilities from dependencies: CVE-2023-2976 CVE-2020-8908

License

Apache 2.0

HomePage

https://theta.mit.bme.hu/ 🔍 Inspect URL

Date

May 16, 2025

Files

pom (4 KB) jar (186 KB) View All

Repositories

Central

Ranking

#67390 in MvnRepository (See Top Artifacts)

Used By

7 artifacts

Vulnerabilities

Vulnerabilities from dependencies:
CVE-2023-2976
CVE-2020-8908

Note: There is a new version for this artifact

New Version	6.17.0

New Version

6.17.0

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-cfa</artifactId>
    <version>6.15.0</version>
    <scope>runtime</scope>
</dependency>

Scope:

Format:

runtimeOnly("hu.bme.mit.theta:theta-cfa:6.15.0")

Scope:

libraryDependencies += "hu.bme.mit.theta" % "theta-cfa" % "6.15.0" % "runtime"

Scope:

ivy"hu.bme.mit.theta:theta-cfa:6.15.0"

Scope:

<dependency org="hu.bme.mit.theta" name="theta-cfa" rev="6.15.0"/>

Scope:

@Grapes(
    @Grab(group='hu.bme.mit.theta', module='theta-cfa', version='6.15.0', scope='runtime')
)

Scope:

[hu.bme.mit.theta/theta-cfa "6.15.0"]

Scope:

'hu.bme.mit.theta:theta-cfa:jar:6.15.0'

Include backlinks

Compile Dependencies (1)

Category/License		Group / Artifact	Version	Updates
Parser Generator BSD 3-clause		org.antlr » antlr4	4.12.0	4.13.2

Category/License

Group / Artifact

Version

Updates

Parser Generator
BSD 3-clause

org.antlr » antlr4

4.12.0

4.13.2

Runtime Dependencies (9)

Category/License	Group / Artifact	Version	Updates
JSON Lib Apache 2.0	com.google.code.gson » gson	2.9.1	2.13.2
Core Utils Apache 2.0	com.google.guava » guava 2 vulnerabilities	31.1-jre	33.5.0-jre
Apache 2.0	hu.bme.mit.theta » theta-common	6.15.0	6.17.0
Apache 2.0	hu.bme.mit.theta » theta-core	6.15.0	6.17.0
Parser Generator BSD 3-clause	org.antlr » antlr4-runtime	4.12.0	4.13.2
Apache 2.0EPL 1.0	org.fusesource.hawtjni » hawtjni-runtime	1.18	✔
Lang Runtime Apache 2.0	org.jetbrains.kotlin » kotlin-stdlib-jdk8	1.9.25	2.2.21
Reflection Apache 2.0	org.jetbrains.kotlin » kotlin-reflect	1.9.25	2.2.21
Mocking MIT	org.mockito.kotlin » mockito-kotlin	5.4.0	6.1.0