scientific article; zbMATH DE number 756076

MaRDI QIDQ4698368zbMATH OpenFDO

Authors Ray Nickson, Lindsay Groves

Publication date 17 May 1995

zbMATH Keywords

refinement calculusmetavariablesconditional refinements technique

Mathematics Subject Classification ID

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

Recommendations

• A calculus of refinements for program derivations
• The variety of variables in automated real-time refinement
• A program refinement tool
• scientific article; zbMATH DE number 1104377

Cited in

(2)

• Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
• scientific article; zbMATH DE number 6707782 (Why is no real title available?)

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 Q4698368)