CoreASM Utility Component

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

License

License

Categories

Categories

ASM Application Layer Libs Bytecode Manipulation
GroupId

GroupId

org.coreasm
ArtifactId

ArtifactId

org.coreasm.util
Last Version

Last Version

1.7.3
Release Date

Release Date

Type

Type

jar
Description

Description

CoreASM Utility Component
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

Download org.coreasm.util

How to add to project

<!-- https://jarcasting.com/artifacts/org.coreasm/org.coreasm.util/ -->
<dependency>
    <groupId>org.coreasm</groupId>
    <artifactId>org.coreasm.util</artifactId>
    <version>1.7.3</version>
</dependency>
// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.util/
implementation 'org.coreasm:org.coreasm.util:1.7.3'
// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.util/
implementation ("org.coreasm:org.coreasm.util:1.7.3")
'org.coreasm:org.coreasm.util:jar:1.7.3'
<dependency org="org.coreasm" name="org.coreasm.util" rev="1.7.3">
  <artifact name="org.coreasm.util" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.coreasm', module='org.coreasm.util', version='1.7.3')
)
libraryDependencies += "org.coreasm" % "org.coreasm.util" % "1.7.3"
[org.coreasm/org.coreasm.util "1.7.3"]

Dependencies

compile (4)

Group / Artifact Type Version
cglib : cglib jar 3.1
org.slf4j : slf4j-api jar 1.7.7
ch.qos.logback : logback-classic jar 1.1.2
ch.qos.logback : logback-core jar 1.1.2

Project Modules

There are no modules declared in this project.
org.coreasm

The CoreASM Project

Versions

Version
1.7.3
1.7.2
1.7.1