All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download coreasm-config JAR file with all dependencies


coreasm-config from group de.athalis.coreasm (version 1.7.3-locke-6)

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.

Group: de.athalis.coreasm Artifact: coreasm-config
Show all versions Show documentation Show source 
Download coreasm-config.jar (1.7.3-locke-6)
 

0 downloads
Artifact coreasm-config
Group de.athalis.coreasm
Version 1.7.3-locke-6
Last update 22. November 2022
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-config
License Academic Free License 3.0
Dependencies amount 4
Dependencies logback-classic, logback-core, slf4j-api, coreasm-util,
There are maybe transitive dependencies!



Page 1 from 1 (items total 1)


© 2015 - 2025 Weber Informatics LLC | Privacy Policy