Z Notation Example

This is the first formal specification I’ve created using Z Notation. It’s based on the usual Birthday Book example but is a little different. It also has some information regarding use of ZETA for type-checking the units. See links below for the source and generated output.



1 Comment

  1. Nice notation!
    Maybe you can look at my problem and give some advice? http://joziks.wordpress.com/2009/02/12/one-task-i

Leave a Reply

Your email address will not be published.


© 2017 recluze

Theme by Anders NorénUp ↑