swMATH1936MaRDI QIDQ14485FDOQ14485
Author name not available (Why is that?)
Official website: https://www.uni-ulm.de/coreasm/
Cited In (31)
- 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
- BMotionWeb
- JeB
- VisB
- WebASM
- 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
- FALKO
- xrc
- SystemC
- Metasonic
- Spoofax
- XASM
- ASMKeY
- Hackage
- The subject-oriented approach to software design and the abstract state machines method
- ASMETA
- ASM Workbench
- Coverlipse
- 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
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Melange
This page was built for software: CoreASM
