Path: utzoo!attcan!uunet!zaphod.mps.ohio-state.edu!usc!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!ugle.unit.no!mack.uit.no!hod!forit.forut.no!gudmund
From: gudmund@forit.forut.no (Gudmundur Joekulsson)
Newsgroups: comp.specification
Subject: Learning/using VDM
Message-ID: <gudmund.663428539@forit.forut.no>
Date: 9 Jan 91 13:42:19 GMT
Sender: news@hod.uit.no (USENET News System)
Organization: University of Tromsoe, Norway
Lines: 24

To a kind soul with knowledge of VDM:

I am thinking of trying to use (what a vague expression) VDM to describe
a communication protocoll, i.e. a program.  Can anyone tip me on:

1) Existing support tools for using VDM
   (available in Public Dom. ?).

2) How is VDM regarding describing concurrent processes
   and IPC ?

3) LaTeX aid for VDM ?

4) A good textbook for a beginner in VDM.
   (How close to the VDM in progress for standardization
   I believe I heard of, will this be ?)

With thanks for any (e-mail) answer that may shed some light on me ...


Gudmundur S. J|kulsson.
FORUT-IT
(Foundation of Applied Reserch
at the University of Tromso)