Formal Methods, Z Notation

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

Advertisements

3 thoughts on “ZETA Presentation”

  1. Hello.

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

    Regards,

    Pedro Aragão Henriques

Comments are closed.