Investigating Z

DOI10.1093/LOGCOM/10.1.43MaRDI QIDQ4952026zbMATH OpenOpenAlexFDO

Authors Martin C. Henson, Steve Reeves

Publication date 5 December 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/10289/1470

zbMATH Keywords

specification language Z

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cited in

(7)

• The standard logic of Z is inconsistent
• Revising Z. II: Logical development
• The specification logic \(\nu\mathsf{Z}\)
• scientific article; zbMATH DE number 2172807 (Why is no real title available?)
• scientific article; zbMATH DE number 6393785 (Why is no real title available?)
• An analysis of refinement in an abortive paradigm
• The specification logic \(\nu \)Z

This page was built for publication: Investigating Z

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