Download coreasm-ui-carma JAR 1.7.3-locke-4 with all dependencies
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.
Files of the artifact coreasm-ui-carma version 1.7.3-locke-4 from the group de.athalis.coreasm.
Test
Artifact coreasm-ui-carma
Group de.athalis.coreasm
Version 1.7.3-locke-4
Last update 27. September 2019
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-ui-carma
License Academic Free License 3.0
Dependencies amount 5
Dependencies slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
There are maybe transitive dependencies!
Group de.athalis.coreasm
Version 1.7.3-locke-4
Last update 27. September 2019
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-ui-carma
License Academic Free License 3.0
Dependencies amount 5
Dependencies slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
There are maybe transitive dependencies!
There is a newer version: 1.7.3-locke-6
Show newest versionShow all versions of coreasm-ui-carma Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of coreasm-ui-carma version 1.7.3-locke-4
META-INF
META-INF.maven.de.athalis.coreasm.coreasm-ui-carma
org.coreasm.ui
sampleSpecs
sampleSpecs.Paxos
sampleSpecs
sampleSpecs.TrainControlSystem_Gabriele
sampleSpecs
sampleSpecs.miniExamples
sampleSpecs
© 2015 - 2025 Weber Informatics LLC | Privacy Policy