scientific article; zbMATH DE number 756076

zbMATH Open0830.68086MaRDI QIDQ4698368FDOQ4698368

Ray Nickson, Lindsay Groves

Publication date: 17 May 1995

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

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

   Recommendations

• A calculus of refinements for program derivations 👍 👎
• The variety of variables in automated real-time refinement 👍 👎
• A program refinement tool 👍 👎
• 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)