scientific article; zbMATH DE number 756075

MaRDI QIDQ4698367zbMATH OpenFDO

Authors Mike Ainsworth, Peter J. L. Wallis

Publication date 17 May 1995

zbMATH Keywords

amalgamationco-refinementlarge-scale formal specification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 139814
• Unifying concurrent and relational refinement
• Laws of data refinement
• Constructive consistency checking for partial specification in Z

Cited in

(3)

• Joining specification statements
• Copartitions
• Meta-modelling for formal software development

This page was built for publication:

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