Download all versions of coreasm-engine JAR files with all dependencies
coreasm-engine 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.
Artifact coreasm-engine
Group de.athalis.coreasm
Version 1.7.3-locke-6
Last update 22. November 2022
Tags: appropriate project focuses language experimental high coreasm lean design from where https state supporting validation verification combination models github level this abstract executable tool formal core with fork environment system machines
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-engine
License Academic Free License 3.0
Dependencies amount 6
Dependencies slf4j-api, jgraph, jgrapht-core, jgrapht-ext, jparsec, coreasm-util,
There are maybe transitive dependencies!
Group de.athalis.coreasm
Version 1.7.3-locke-6
Last update 22. November 2022
Tags: appropriate project focuses language experimental high coreasm lean design from where https state supporting validation verification combination models github level this abstract executable tool formal core with fork environment system machines
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-engine
License Academic Free License 3.0
Dependencies amount 6
Dependencies slf4j-api, jgraph, jgrapht-core, jgrapht-ext, jparsec, coreasm-util,
There are maybe transitive dependencies!
coreasm-engine from group de.athalis.coreasm (version 1.7.3-locke-5)
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.
Artifact coreasm-engine
Group de.athalis.coreasm
Version 1.7.3-locke-5
Last update 10. January 2022
Tags: tool state executable from where level https abstract with fork appropriate validation focuses experimental machines models lean coreasm project system formal environment verification supporting combination core high language this github design
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-engine
License Academic Free License 3.0
Dependencies amount 6
Dependencies slf4j-api, jgraph, jgrapht-core, jgrapht-ext, jparsec, coreasm-util,
There are maybe transitive dependencies!
Group de.athalis.coreasm
Version 1.7.3-locke-5
Last update 10. January 2022
Tags: tool state executable from where level https abstract with fork appropriate validation focuses experimental machines models lean coreasm project system formal environment verification supporting combination core high language this github design
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-engine
License Academic Free License 3.0
Dependencies amount 6
Dependencies slf4j-api, jgraph, jgrapht-core, jgrapht-ext, jparsec, coreasm-util,
There are maybe transitive dependencies!
coreasm-engine from group de.athalis.coreasm (version 1.7.3-locke-4)
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.
Artifact coreasm-engine
Group de.athalis.coreasm
Version 1.7.3-locke-4
Last update 27. September 2019
Tags: tool state executable from where level https abstract with fork appropriate validation focuses experimental machines models lean coreasm project system formal environment verification supporting combination core high language this github design
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-engine
License Academic Free License 3.0
Dependencies amount 6
Dependencies slf4j-api, jgraph, jgrapht-core, jgrapht-ext, jparsec, coreasm-util,
There are maybe transitive dependencies!
Group de.athalis.coreasm
Version 1.7.3-locke-4
Last update 27. September 2019
Tags: tool state executable from where level https abstract with fork appropriate validation focuses experimental machines models lean coreasm project system formal environment verification supporting combination core high language this github design
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-engine
License Academic Free License 3.0
Dependencies amount 6
Dependencies slf4j-api, jgraph, jgrapht-core, jgrapht-ext, jparsec, coreasm-util,
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy