scientific article; zbMATH DE number 2052653

zbMATH Open1050.03024MaRDI QIDQ4454298FDOQ4454298

Authors: Moshe Deutsch, Martin C. Henson, Steve Reeves 

Publication date: 8 March 2004

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

Recommendations

• An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II
• scientific article; zbMATH DE number 2080003
• scientific article; zbMATH DE number 1670751
• An analysis of refinement in an abortive paradigm
• General correctness: A unification of partial and total correctness

zbMATH Keywords

specification languagespecification logicoperation refinementZ logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cited In (6)

• An analysis of refinement in an abortive paradigm
• Title not available (Why is that?)
• Title not available (Why is that?)
• An analysis of operation-refinement in an abortive paradigm
• Junctive compositions of specifications in total and general correctness
• An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II

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