ZETA Presentation

I’ve just finished creating the first presentation about using ZETA for creation/analysis of Z Notation. It’s a basic presentation and is not meant to be used as a reference. See a good book for Z notation (Using Z is pretty good) and the ZETA site for the tool’s reference. The presentation is more about experience in learning to use these tools.

This is the first in a series of presentations hopefully leading to the complete use of Z Notation for formal verification and specification.

See PDF here


  1. Nice work Nauman. Keep it up. I will join you very soon.


  2. Pedro Henriques

    April 7, 2009 at 2:01 pm


    Great post about Hol-Z and Zeta 🙂
    I have a problem: I cant found Zeta to download,you can help me, please?


    Pedro Aragão Henriques

Leave a Reply

Your email address will not be published.


© 2017 recluze

Theme by Anders NorénUp ↑