State-level and value-level simulations in data refinement

DOI10.1016/S0020-0190(00)00213-1zbMath1003.68076OpenAlexW2084281106MaRDI QIDQ1607097

William Leal, Anish Arora

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00213-1

zbMATH Keywords

value-level simulations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• The behavior-realization adjunction and generalized homomorphic relations
• Soundness of data refinement for a higher-order imperative language
• Forward and backward simulations. I. Untimed Systems
• Data Refinement