JarCasting
JarCasting JarCasting

CoreASM Engine

This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core 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

de.athalis.coreasm
ArtifactId

ArtifactId

coreasm-engine
Last Version

Last Version

1.7.3-locke-5
Release Date

Release Date
Type

Type

jar
Description

Description

CoreASM Engine
This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core 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 coreasm-engine

Filename Size
coreasm-engine-1.7.3-locke-5.pom
coreasm-engine-1.7.3-locke-5.jar 6 MB
coreasm-engine-1.7.3-locke-5-tests.jar 185 KB
coreasm-engine-1.7.3-locke-5-sources.jar 4 MB
coreasm-engine-1.7.3-locke-5-javadoc.jar 5 MB
Browse

How to add to project

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

Dependencies

compile (6)

Group / Artifact Type Version
junit : junit jar 4.13.2
org.slf4j : slf4j-api jar 1.7.32
jgraph : jgraph jar 5.13.0.0
net.sf.jgrapht : jgrapht jar 0.8.3
org.jparsec : jparsec jar 3.1
de.athalis.coreasm : coreasm-util jar 1.7.3-locke-5

Project Modules

There are no modules declared in this project.

Versions

Version
1.7.3-locke-5
1.7.3-locke-4