State-level and value-level simulations in data refinement

DOI10.1016/S0020-0190(00)00213-1zbMATH Open1003.68076OpenAlexW2084281106MaRDI QIDQ1607097FDOQ1607097

Authors: 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

Recommendations

• scientific article; zbMATH DE number 2013581
• scientific article; zbMATH DE number 2090153
• scientific article; zbMATH DE number 1487738
• scientific article; zbMATH DE number 10605
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Analyzing state-dependent model-data comparison in multi-regime systems
• scientific article; zbMATH DE number 926769
• Simulation smoothing for state-space models: a computational efficiency analysis
• Refinement checking based on simulation relations

zbMATH Keywords

value-level simulations

Mathematics Subject Classification ID

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

Cites Work

• Forward and backward simulations. I. Untimed Systems
• Data Refinement
• Soundness of data refinement for a higher-order imperative language
• Title not available (Why is that?)
• The behavior-realization adjunction and generalized homomorphic relations

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: State-level and value-level simulations in data refinement

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