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 of abstract system models. [edit]
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machine...
| OStatic Users | 0 |
| Stories | 0 |
| Questions | 0 |
Share a valuable story about this application with the OStatic Community.
Ask the OStatic community your question about this software.