Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!jordan
From: jordan@unix.cis.pitt.edu (Kenneth D Jordan)
Newsgroups: comp.specification
Subject: FUZZ (Z Support): Questions
Keywords: Z, Specification Languages, FUZZ
Message-ID: <88713@unix.cis.pitt.edu>
Date: 7 Feb 91 15:03:56 GMT
Organization: Univ. of Pittsburgh, Computing & Information Services
Lines: 24

I have heard of a package by Mike Spivey named FUZZ which provides
support for the Z specification language, and I have several questions
which can hopefully be answered by someone with FUZZ experiece.

1.  I understand it's available for a nominal fee.  Any idea of what
    that may be?

2.  Exactly what does it do?  Correctness checking of Z specifications?
    Manipulation of Z (schema renaming, etc.)?  Logical proofs?  Other?

3.  For what platforms is it available?  Is it available in source form?

4.  How generally useful is it; i.e., is it still primarily a research
    tool for the study of Z, or does it have utility for practical
    specifications?

Obviously Mike Spivey's e-mail address would also be helpful.  Thanks
in advance.

--------------------------------------------------------------------------------
                                 Nick Nystrom
                           University of Pittsburgh
                              nystrom@a.psc.edu
--------------------------------------------------------------------------------