Grey box data refinement

MaRDI QIDQ4250653zbMATH OpenFDO

Authors John Derrick, Eerke Boiten

Publication date 2 November 1999

zbMATH Keywords

display box data typesgrey box

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Laws of data refinement
• scientific article; zbMATH DE number 3943003
• Data refinement by calculation
• A single complete rule for data refinement

Cited in

(3)

• Glass box and black box views of state-based system specifications
• Understanding, Explaining, and Deriving Refinement
• On using data abstractions for model checking refinements

This page was built for publication: Grey box data refinement

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