Path: utzoo!attcan!utgpu!watmath!att!tut.cis.ohio-state.edu!gem.mps.ohio-state.edu!usc!cs.utexas.edu!uunet!mcsun!ukc!acorn!cdornan
From: cdornan@acorn.co.uk (Chris Dornan)
Newsgroups: comp.software-eng
Subject: Z and VDM tools
Summary: Are there any Z or VDM tools available?
Keywords: Z VDM formal specification
Message-ID: <839@acorn.co.uk>
Date: 21 Sep 89 14:58:58 GMT
Reply-To: cdornan@acorn.UUCP (Chris Dornan)
Organization: Acorn Computers Ltd, Cambridge, UK
Lines: 14

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@uk.co.acorn
-- 
Chris Dornan
Acorn Computers Limited,
Fulbourn Road, Cherry Hinton, Cambridge.
cdornan@uk.co.acorn