cdornan@acorn.co.uk (Chris Dornan) (09/21/89)
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
cdornan@acorn.co.uk (Chris Dornan) (09/22/89)
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