Formal Aspects of Computing

, Volume 10, Issue 3, pp 243–247 | Cite as

The Standard Logic of Z is Inconsistent

  • Martin C. Henson
Original Paper

Abstract.

We demonstrate that the logic contained in the draft Z standard is inconsistent.

Keywords: Specification languages; specification logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1998

Authors and Affiliations

  • Martin C. Henson
    • 1
  1. 1.Department of Computer Science, University of Essex, UKGB

Personalised recommendations