# The VDM Interpreter (VDMJ-derived)
- **Primary Contacts:**
  Nick Battle, Peter Jørgensen
- **Status:**
  Production

## Description:


## Known Issues:


## Contributors: