Plugins for CoreASM
Java
Latest commit 643f32c Apr 26, 2016 @mstegmaier mstegmaier Adapted to recent changes of the engine.
Change-Id: I765f67f907c5c67518aecb1ddb736d6456168cf4
Signed-off-by: Michael Stegmaier <michael-1.stegmaier@uni-ulm.de>
Permalink
Failed to load latest commit information.
org.coreasm.plugins.aspects.eclipse
org.coreasm.plugins.aspects
org.coreasm.plugins.assertion
org.coreasm.plugins.ast2spec.eclipse
org.coreasm.plugins.ast2spec
org.coreasm.plugins.jung2
org.coreasm.plugins.universalcontrol
.gitignore
README.md

README.md

Plugins for - The CoreASM Modeling Framework

This repository contributes plugins for the CoreASM open source project that focuses on offering 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.

In order to avoid redundancy, we share the wiki of the main CoreASM repository.