Discussion:
a6-f
(too old to reply)
Nika Haghtalab
2009-03-18 22:53:45 UTC
Permalink
Hi,

In Z specification, can we have a schema of form:

Signature
----------
Precondition1
Postcondition1
Precondition2
Postcondition2

-Thanks
Nancy Day
2009-03-19 00:28:43 UTC
Permalink
Post by Nika Haghtalab
Signature
----------
Precondition1
Postcondition1
Precondition2
Postcondition2
Yes. There is no order to the lines in the predicate part.

cheers, nancy
--------------------------------------------------------------------
Nancy Day, Associate Professor
CS245 Winter 2009 Instructor
http://www.student.cs.uwaterloo.ca/~cs245
David R. Cheriton School of Computer Science, University of Waterloo
Continue reading on narkive:
Loading...