Revising Z. II: Logical development

DOI10.1007/S001650050039MaRDI QIDQ1974478zbMATH OpenOpenAlexFDO

Authors Martin C. Henson, Steve Reeves

Publication date 7 May 2000

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650050039

zbMATH Keywords

specification language \(Z\)specification logic

Mathematics Subject Classification ID

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

Recommendations

• Revising Z. I: Logic and semantics
• scientific article; zbMATH DE number 2172807
• Investigating Z
• The specification logic \(\nu\mathsf{Z}\)
• The specification logic \(\nu \)Z

Cited in

(20)

• The standard logic of Z is inconsistent
• A calculus for schemas in Z
• Richer types for \(Z\)
• Revising Z. I: Logic and semantics
• `The standard logic for Z': A clarification
• The specification logic \(\nu\mathsf{Z}\)
• scientific article; zbMATH DE number 1303992 (Why is no real title available?)
• scientific article; zbMATH DE number 1104398 (Why is no real title available?)
• Constructive Z
• scientific article; zbMATH DE number 1487493 (Why is no real title available?)
• scientific article; zbMATH DE number 2172807 (Why is no real title available?)
• scientific article; zbMATH DE number 860049 (Why is no real title available?)
• scientific article; zbMATH DE number 860051 (Why is no real title available?)
• Investigating Z
• Encoding Z-style Schemas in type theory
• A structure preserving encoding of Z in Isabelle/HOL
• A logic for schema-based program development
• An analysis of refinement in an abortive paradigm
• The specification logic \(\nu \)Z
• Categorical foundations for structured specifications in \(\mathsf{Z}\)

This page was built for publication: Revising \(Z\). II: Logical development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1974478)