Data refinement of mixed specifications: A generalization of UNITY

DOI10.1007/S002360050115MaRDI QIDQ1386404zbMATH OpenOpenAlexFDO

Authors Beverly A. Sanders

Publication date 24 May 1998

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050115

zbMATH Keywords

mixed specificationsUNITY

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Laws of data refinement
• scientific article; zbMATH DE number 3943003
• A single complete rule for data refinement
• An experiment with the use of predicate transformers in UNITY

Cited in

(5)

• Composing leads-to properties
• Unification: A case-study in data refinement
• An experiment with the use of predicate transformers in UNITY
• Unity properties and sequences of states, some observations
• Data refinement and singleton failures refinement are not equivalent

This page was built for publication: Data refinement of mixed specifications: A generalization of UNITY

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