vdm-comint enables you to run a VDM interpreter inside Emacs.  Both
the Overture and VDMJ interpreters are supported.