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.

Homepage POM file JAR file Javadoc

'org.coreasm:org.coreasm.engine:1.7.2'

<dependency>
	<groupId>org.coreasm</groupId>
	<artifactId>org.coreasm.engine</artifactId>
	<version>1.7.2</version>
</dependency>

<dependency org="org.coreasm" name="org.coreasm.engine" rev="1.7.2"/>

"org.coreasm", "org.coreasm.engine", "1.7.2"

Dependencies

Compile dependencies

cglib » cglib » 3.1
ch.qos.logback » logback-classic » 1.1.2
ch.qos.logback » logback-core » 1.1.2
concurrent » concurrent » 1.3.4
jgraph » jgraph » 5.13.0.0
junit » junit » 4.8.2
net.sf.jgrapht » jgrapht » 0.8.3
org.coreasm » org.coreasm.util » 1.7.2
org.jparsec » jparsec » 2.1
org.slf4j » slf4j-api » 1.7.7