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