Letter

tex-zfuzz - Type-checker and LaTeX style for Z spec language

Website: http://spivey.oriel.ox.ac.uk/mike/fuzz/
License: BSD
Vendor: Fedora Project
Description:
This package (formerly named "fuzz")
is a collection of tools that help you to
(1) format and print good-looking specifications in the Z ("zed")
formal specification language using LaTeX (through a new LaTeX style), and
(2) check them for compliance with the Z scope and type rules.
It includes a few font definitions for Z’s special symbols.

This package is useful if you want to create formal specifications
using the Z specification language.
The Z language accepted is that of the Z Reference Manual,
second edition, which is not exactly the same as the Z ISO standard
(see http://www.cs.york.ac.uk/hise/cadiz/standard.html for the differences).

Historically, this package was called "fuzz", but there is another
program ALSO called fuzz, so the command-line type-checker's has been
changed to "zfuzz".  The LaTeX style itself is still
named "fuzz" (so LaTeX documents will keep working).

Packages

tex-zfuzz-0-0.20070912.3.fc11.ppc64 [817 KiB] Changelog by Fedora Release Engineering (2009-02-25):
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Listing created by Repoview-0.6.3-1.fc11