Project Group: org.coreasm

CoreASM Utility Component

org.coreasm : org.coreasm.util

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

Release Date: Aug 2, 2016

CoreASM Parent Project

org.coreasm : org.coreasm.parent

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

Release Date: Aug 2, 2016

CoreASM Configuration Component

org.coreasm : org.coreasm.config

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

Release Date: Aug 2, 2016

CoreASM Engine

org.coreasm : org.coreasm.engine

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

Release Date: Aug 2, 2016