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: