vdm-mode currently supports the following features:

- Syntax highlighting and editing
- Replacement of ASCII syntax (e.g. lambda) with more aesthetically
  looking symbols (e.g. λ) using prettify-symbols-mode
- On the fly syntax checking using Flycheck
- VDM YASnippets
- REPL (read–eval–print loop) support based on comint
- Integration with VDMJ and Overture