Supporting data refinement in a program refinement tool

MaRDI QIDQ4370266zbMATH OpenFDO

Authors J. Shield, Ray Nickson, David B. Carrington

Publication date 3 May 1998

zbMATH Keywords

refinement calculus

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A program refinement tool
• scientific article; zbMATH DE number 177257
• The refinement calculator: Proof support for program refinement

Cited in

(3)

• Using the Alloy analyzer to verify data refinement in Z
• scientific article; zbMATH DE number 910716 (Why is no real title available?)
• Data refinement of remote procedures

This page was built for publication: Supporting data refinement in a program refinement tool

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