JarCasting
JarCasting JarCasting

Project Group: de.athalis.coreasm

CoreASM Utility Component

 de.athalis.coreasm : coreasm-util

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.

Last Version: 1.7.3-locke-5

Release Date:

CoreASM Engine

 de.athalis.coreasm : coreasm-engine

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.

Last Version: 1.7.3-locke-5

Release Date:

CoreASM Carma

 de.athalis.coreasm : coreasm-ui-carma

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.

Last Version: 1.7.3-locke-5

Release Date:

CoreASM Parent Project

 de.athalis.coreasm : coreasm-parent

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.

Last Version: 1.7.3-locke-5

Release Date:

CoreASM Configuration Component

 de.athalis.coreasm : coreasm-config

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.

Last Version: 1.7.3-locke-5

Release Date:

  • 1