scientific article; zbMATH DE number 756075

zbMATH Open0830.68085MaRDI QIDQ4698367FDOQ4698367

Peter J. L. Wallis, Mike Ainsworth

Publication date: 17 May 1995

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

zbMATH Keywords

amalgamationco-refinementlarge-scale formal specification

Mathematics Subject Classification ID

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

Cited In (3)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Unifying concurrent and relational refinement 👍 👎
• Laws of data refinement 👍 👎
• Constructive consistency checking for partial specification in Z 👍 👎

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)