The specification logic Z

DOI10.1007/S00165-006-0007-2MaRDI QIDQ851135zbMATH OpenOpenAlexFDO

Authors Martin C. Henson, Moshe Deutsch, Besnik Kajtazi

Publication date 17 November 2006

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

Full work available at URL https://doi.org/10.1007/s00165-006-0007-2

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• Data Refinement
• Investigating Z
• Refinement Calculus

Cited in

(8)

• scientific article; zbMATH DE number 2172807 (Why is no real title available?)
• The specification logic \(\nu\mathsf{Z}\)
• A logic for schema-based program development
• Applications and methodology of \(\nu Z\)
• Revising \(Z\). I: Logic and semantics
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 3938560 (Why is no real title available?)
• `The standard logic for \(Z\)': A clarification

This page was built for publication: The specification logic \(\nu \)Z

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