Los Requerimientos de virtualización de Popek y Goldberg son un conjunto de condiciones suficientes para que una arquitectura de computadores soporte eficientemente la virtualización. Fueron elaborados por Gerald J. Popek y Robert P. Goldberg en su artículo de 1974 Formal Requirements for Virtualizable Third Generation Architectures.^[1] Aunque los requisitos se derivan de asunciones simplificadas todavía constituyen una manera eficaz de determinar si una arquitectura soporta eficientemente la virtualización y proporciona líneas maestras para el diseño de arquitecturas virtualizadas.

Referencias

1. ↑ Gerald J. Popek and Robert P. Goldberg (1974). «Formal Requirements for Virtualizable Third Generation Architectures» Communications of the ACM. Vol. 17. n.º 7. pp. 412 –421.