JarCasting
JarCasting JarCasting
Last Version

CoreASM Engine 1.7.3

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.engine
Version

Version

1.7.3
Type

Type

jar
Description

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 1.7.3

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

<!-- 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>
// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/
implementation 'org.coreasm:org.coreasm.engine:1.7.3'
// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/
implementation ("org.coreasm:org.coreasm.engine:1.7.3")
'org.coreasm:org.coreasm.engine:jar:1.7.3'
<dependency org="org.coreasm" name="org.coreasm.engine" rev="1.7.3">
  <artifact name="org.coreasm.engine" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.coreasm', module='org.coreasm.engine', version='1.7.3')
)
libraryDependencies += "org.coreasm" % "org.coreasm.engine" % "1.7.3"
[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.