En la terminología de Popek y Goldberg, un Monitor de Máquina Virtual debe presentar las tres propiedades.