Quote: a simple error in Z can lead to a correct specification with a completely different meanings; e.g., forgetting a prime symbol ' to indicate the new state

Quotation Skeleton

Another difficulty of Z … is that quite often a single typing error … different meaning. The most prominent example of this--which … new state of a state variable.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: formal methods and languages (53 items)
Group: programming notation   (14 topics, 221 quotes)