Conference item
W Reconstructed
- Abstract:
-
An early version of the Z Standard included the deductive system \\cal W for reasoning about Z specifications. Later versions contain a different deductive system. In this paper we sketch a proof that \\cal W is relatively sound with respect to this new deductive system. We do this by demonstrating a semantic basis for a correspondence between the two systems, then showing that each of the inference rules of \\cal W can be simulated as derived rules in the new system. These new rules...
Expand abstract
Actions
Authors
Bibliographic Details
- Publisher:
- Springer−Verlag
- Host title:
- ZUM'97: The Z Formal Specification Notation‚ 10th International Conference of Z Users‚ Reading‚ UK‚ April 1997‚ Proceedings
- Volume:
- 1212
- Publication date:
- 1997-04-01
- ISBN:
- 3540627170
Item Description
- UUID:
-
uuid:1c0c97be-3b18-4e59-9a2b-e8fbacc0ba03
- Local pid:
- cs:2507
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 1997
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record