FUZZ (Z Support): Questions

Article View: comp.specification

Article #320

Back to comp.specification Previous Next

#320

From: Kenneth D Jordan
Date: Thu, 07 Feb 1991 15:03

24 lines
1523 bytes

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
--------------------------------------------------------------------------------

Technical Details

Message-ID: <88713@unix.cis.pitt.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!jordan

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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