Indexed Artifacts (25.4M)

Popular Categories

Translator from TLA+ to ProB's AST representation.

LicenseEPL 1.0
HomePage https://github.com/hhu-stups/tla2bAST
Date(Feb 24, 2016)
Filespom (2 KB)  jar (178 KB)  View All
RepositoriesCentralSonatype
Used By2 artifacts
VulnerabilitiesVulnerabilities from dependencies:
CVE-2020-15250

Note: There is a new version for this artifact

New Version1.1.4


Compile Dependencies (6)

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
Testing
EPL 2.0
junit » junit1 vulnerability 4.125.8.2

Licenses

LicenseURL
Eclipse Public License, Version 1.0 https://www.eclipse.org/legal/epl-v10.html

Developers

NameEmailDev IdRolesOrganization
Jens Bendispostojens<at>bendisposto.debendisposto