All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download de.athalis.coreasm 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.

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

    0 downloads
    Artifact coreasm-engine
    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-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-util 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-util
    Show all versions Show documentation Show source 
    Download coreasm-util.jar (1.7.3-locke-6)
     

    0 downloads
    Artifact coreasm-util
    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-util
    License Academic Free License 3.0
    Dependencies amount 1
    Dependencies slf4j-api,
    There are maybe transitive 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!

    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.

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

    0 downloads
    Artifact coreasm-ui-carma
    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-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!

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

    Group: de.athalis.coreasm Artifact: coreasm-parent
    Show all versions 
    There is no JAR file uploaded. A download is not possible! Please choose another version.
    0 downloads
    Artifact coreasm-parent
    Group de.athalis.coreasm
    Version 1.7.3-locke-6



    Page 1 from 1 (items total 5)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy