The VDMETL© Run-Time Framework

The run-time VDMETL© framework consists of the components required to decompress, read, parse and load  source files into their intended target. It uses parsers generated with VDMGEN© and services for handling code lookups, exceptions, and logging. The framework components are described in more detail through the links below.

VDM Access: