[comp.specification] Learning/using VDM

gudmund@forit.forut.no (Gudmundur Joekulsson) (01/09/91)

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)