An extensible ASM execution engine
About CoreASMThe 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.We concentrate on control-intensive software systems, especially, distributed and embedded systems and related system design languages; we also consider sequential languages and synchronous systems, and, to some extent, hardware related aspects.
What's New?
|
