The specification logic Z

DOI10.1007/S00165-006-0007-2zbMATH Open1105.68073OpenAlexW2026470291MaRDI QIDQ851135FDOQ851135

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Refinement Calculus
• Data Refinement
• Investigating Z

Cited In (8)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• `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)