Path: utzoo!attcan!uunet!mcsun!ukc!acorn!cdornan
From: cdornan@acorn.co.uk (Chris Dornan)
Newsgroups: comp.software-eng
Subject: Z and VDM tools
Summary: Appologies; tools for VDM or Z
Keywords: tools Z VDM formal specification
Message-ID: <841@acorn.co.uk>
Date: 22 Sep 89 10:36:02 GMT
References: <839@acorn.co.uk>
Reply-To: cdornan@acorn.co.uk (Chris Dornan)
Organization: Acorn Computers Ltd, Cambridge, UK
Lines: 14

I am sorry about this re-posting but it seems that our Pnews does not
use a very sensible default Reply-To line so some users may be having
trouble replying to me.

Does anybody know of any tools to support the development of either Z
or VDM formal specifications.  I am particularly interested in
editors, parsers and type-checkers.  I know of Mike Spivey's 'fuzz'
type checker for VDM.  Reply to me and I will summarise for the net.

-- 
Chris Dornan
Acorn Computers Limited,
Fulbourn Road, Cherry Hinton, Cambridge.
cdornan@acorn.co.uk