CoreASM Engine

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	CoreASM License
Categories	ASM Application Layer Libs Bytecode Manipulation
GroupId	org.coreasm
ArtifactId	org.coreasm.engine
Last Version	1.7.3
Release Date	Aug 2, 2016
Type	jar
Description	CoreASM Engine 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.engine

Filename	Size
org.coreasm.engine-1.7.3.pom
org.coreasm.engine-1.7.3.jar	9 MB
org.coreasm.engine-1.7.3-sources.jar	4 MB
org.coreasm.engine-1.7.3-javadoc.jar	4 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/ -->
<dependency>
    <groupId>org.coreasm</groupId>
    <artifactId>org.coreasm.engine</artifactId>
    <version>1.7.3</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/
implementation 'org.coreasm:org.coreasm.engine:1.7.3'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/
implementation ("org.coreasm:org.coreasm.engine:1.7.3")

Apache Buildr

'org.coreasm:org.coreasm.engine:jar:1.7.3'

Apache Ivy

<dependency org="org.coreasm" name="org.coreasm.engine" rev="1.7.3">
  <artifact name="org.coreasm.engine" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.coreasm', module='org.coreasm.engine', version='1.7.3')
)

Scala SBT

libraryDependencies += "org.coreasm" % "org.coreasm.engine" % "1.7.3"

Leiningen

[org.coreasm/org.coreasm.engine "1.7.3"]

Dependencies

compile (10)

Group / Artifact	Type	Version
jgraph : jgraph	jar	5.13.0.0
net.sf.jgrapht : jgrapht	jar	0.8.3
org.jparsec : jparsec	jar	2.1
concurrent : concurrent	jar	1.3.4
junit : junit	jar	4.8.2
org.coreasm : org.coreasm.util	jar	1.7.3
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.

The CoreASM Project

Versions

Version
1.7.3 Aug 2, 2016
1.7.2 Feb 11, 2016
1.7.1 Feb 11, 2016