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: Jan 10, 2022

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: Jan 10, 2022

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: Jan 10, 2022

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: Jan 10, 2022

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: Jan 10, 2022