The following pages link to The ASM refinement method (Q706516):
Displaying 21 items.
- Concurrent abstract state machines (Q303691) (← links)
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Ambient abstract state machines with applications (Q439957) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- The computable kernel of abstract state machines (Q959826) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Semantic splitting of conditional belief bases (Q2117582) (← links)
- Communities and ancestors associated with Egon Börger and ASM (Q2117583) (← links)
- ASM specification and refinement of a quantum algorithm (Q2117586) (← links)
- The ASMETA approach to safety assurance of software systems (Q2117597) (← links)
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- Bridging arrays and ADTs in recursive proofs (Q2233489) (← links)
- Consistency-preserving refactoring of refinement structures in Event-B models (Q2418044) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
