About CoreASM
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.
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? 
Get The News!
Register to CoreASM News mailing list to get updates on new releases and new plug-ins.
|