scientific article; zbMATH DE number 756076

zbMATH Open0830.68086MaRDI QIDQ4698368FDOQ4698368

Authors: Ray Nickson, Lindsay Groves 

Publication date: 17 May 1995

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

refinement calculusmetavariablesconditional refinements technique

Mathematics Subject Classification ID

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

Cited In (2)

• Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
• Title not available (Why is that?)

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)