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

Download all versions of coreasm-engine JAR files with all dependencies

Search JAR files by class name

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.

Group: de.athalis.coreasm Artifact: coreasm-engine
Show documentation Show source 
 

0 downloads
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!

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.

Group: de.athalis.coreasm Artifact: coreasm-engine
Show documentation Show source 
 

0 downloads
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 junit, slf4j-api, jgraph, jgrapht, jparsec, coreasm-util,
There are maybe transitive dependencies!

coreasm-engine from group de.athalis.coreasm (version 1.7.3-locke-4)

Group: de.athalis.coreasm Artifact: coreasm-engine
Show documentation Show source 
 

0 downloads
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 Not specified
License Academic Free License 3.0
Dependencies amount 7
Dependencies junit, slf4j-api, logback-classic, jgraph, jgrapht, jparsec, coreasm-util,
There are maybe transitive dependencies!



Page 1 from 1 (items total 3)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy