ASM refinement and generalizations of forward simulation in data refinement: a comparison

DOI10.1016/J.TCS.2004.11.013MaRDI QIDQ555790zbMATH OpenOpenAlexFDO

Authors Gerhard Schellhorn

Publication date 10 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.11.013

zbMATH Keywords

Abstract state machinesData refinementRefinement

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• The ASM refinement method
• Completeness of ASM refinement
• scientific article; zbMATH DE number 2013581
• Completeness of fair ASM refinement
• scientific article; zbMATH DE number 3943003

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1670469 (Why is no real title available?)
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 18622 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 1354178 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1951183 (Why is no real title available?)
• scientific article; zbMATH DE number 2013580 (Why is no real title available?)
• scientific article; zbMATH DE number 1487738 (Why is no real title available?)
• scientific article; zbMATH DE number 1552508 (Why is no real title available?)
• scientific article; zbMATH DE number 773979 (Why is no real title available?)
• Data Refinement
• Evolving Algebras 1993: Lipari Guide
• Forward and backward simulations. I. Untimed Systems
• The ASM refinement method
• The B-Book
• The WAM case study: Verifying compiler correctness for Prolog with KIV

Cited in

(17)

• Safe abstractions of data encodings in formal security protocol models
• State-level and value-level simulations in data refinement
• Completeness of fair ASM refinement
• scientific article; zbMATH DE number 2090153 (Why is no real title available?)
• Understanding, Explaining, and Deriving Refinement
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Introducing extra operations in refinement
• The ASM refinement method
• Relational concurrent refinement. II: Internal operations and outputs
• The subject-oriented approach to software design and the abstract state machines method
• Verification of compliance for multilevel models in individual trace semantics
• ASM refinement preserving invariants
• Moded and continuous abstract state machines
• Atomic actions, and their refinements to isolated protocols
• Completeness of ASM refinement
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• A comparison of refinement orderings and their associated simulation rules

Describes a project that uses

Uses Software

• Piton
• Z
• KIV
• TLA

This page was built for publication: ASM refinement and generalizations of forward simulation in data refinement: a comparison

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