CoreASM
From MaRDI portal
Cited in
(32)- CLPS-B
- BTestBox
- EventB2Java
- FALKO
- Executable component-based semantics
- xrc
- SystemC
- The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes
- Integrating formal specifications into applications: the ProB Java API
- Metasonic
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Spoofax
- Concurrent abstract state machines
- The subject-oriented approach to software design and the abstract state machines method
- XASM
- BIOMICS: a Theory of Interaction Computing
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
- The abstract state machines method for high-level system design and analysis
- ASMKeY
- Hackage
- Ambient abstract state machines with applications
- CoreASM: an extensible ASM execution engine
- A data-flow approach to test multi-agent ASMs
- ASMETA
- ASM Workbench
- Coverlipse
- Abstract State Machines with Exact Real Arithmetic
- JeB
- BMotionWeb
- VisB
- WebASM
- Melange
This page was built for software: CoreASM
