scientific article; zbMATH DE number 2052653

MaRDI QIDQ4454298zbMATH OpenFDO

Authors Moshe Deutsch, Martin C. Henson, Steve Reeves

Publication date 8 March 2004

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)

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

Cited in

(6)

• An analysis of refinement in an abortive paradigm
• scientific article; zbMATH DE number 2080003 (Why is no real title available?)
• scientific article; zbMATH DE number 1670751 (Why is no real title available?)
• 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)