The ASM refinement method

DOI10.1007/S00165-003-0012-7zbMATH Open1093.68601OpenAlexW2074794556MaRDI QIDQ706516FDOQ706516

Authors: Egon Börger 

Publication date: 8 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-003-0012-7

Recommendations

• Frontiers of Combining Systems
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• ASM refinement preserving invariants
• The abstract state machines method for high-level system design and analysis
• Refinements in Typed Abstract State Machines

zbMATH Keywords

Models of computationSpecifying and Verifying and Reasoning about Programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (30)

• Communities and ancestors associated with Egon Börger and ASM
• Frontiers of Combining Systems
• The computable kernel of abstract state machines
• The abstract state machines method for high-level system design and analysis
• Completeness of fair ASM refinement
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• ASM specification and refinement of a quantum algorithm
• Computation on structures. Behavioural theory, logic, complexity
• Flashix: modular verification of a concurrent and crash-safe flash file system
• Semantic splitting of conditional belief bases
• The ASMETA approach to safety assurance of software systems
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Title not available (Why is that?)
• Distributed Adaptive Systems
• Ambient abstract state machines with applications
• Concurrent abstract state machines
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Refinement patterns for ASTDs
• ASM-based formal design of an adaptivity component for a cloud system
• Bridging arrays and ADTs in recursive proofs
• Finite state machine testing from an OR state refinement design
• Title not available (Why is that?)
• The subject-oriented approach to software design and the abstract state machines method
• Title not available (Why is that?)
• ASM refinement preserving invariants
• Moded and continuous abstract state machines
• Completeness of ASM refinement
• Consistency-preserving refactoring of refinement structures in Event-B models
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

This page was built for publication: The ASM refinement method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q706516)