A comparison of refinement orderings and their associated simulation rules

MaRDI QIDQ2844831zbMATH OpenFDO

Authors Christie Bolton, Jim Davies

Publication date 19 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105825630

Mathematics Subject Classification ID

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

Recommendations

• Refinement checking based on simulation relations
• Extensions and comparison of simplification orderings
• Further results on order statistics generated by two simulation methods
• Some results on order statistics generated by two simulation methods
• Ordinal optimisation and simulation
• Co-simulation with variable approximation order: order control algorithm for solver coupling approaches
• Measurable order and simulation
• Convergence properties of ordinal comparison in the simulation of discrete event dynamic systems
• ASM refinement and generalizations of forward simulation in data refinement: a comparison

Cited in

(4)

• Guarded operations, refinement and simulation
• Structural refinement of systems specified in Object-Z and CSP
• Incompleteness of relational simulations in the blocking paradigm
• Data refinement and singleton failures refinement are not equivalent

This page was built for publication: A comparison of refinement orderings and their associated simulation rules

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