Download all versions of coreasm-ui-carma JAR files with all dependencies
coreasm-ui-carma 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-ui-carma
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-ui-carma
License Academic Free License 3.0
Dependencies amount 6
Dependencies junit, slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
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-ui-carma
License Academic Free License 3.0
Dependencies amount 6
Dependencies junit, slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
There are maybe transitive dependencies!
coreasm-ui-carma 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-ui-carma
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-ui-carma
License Academic Free License 3.0
Dependencies amount 6
Dependencies junit, slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
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-ui-carma
License Academic Free License 3.0
Dependencies amount 6
Dependencies junit, slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
There are maybe transitive dependencies!
coreasm-ui-carma 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-ui-carma
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-ui-carma
License Academic Free License 3.0
Dependencies amount 6
Dependencies junit, 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
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-ui-carma
License Academic Free License 3.0
Dependencies amount 6
Dependencies junit, slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)