PopekとGoldbergの仮想化要件
仮想化要件を導き出すため、Popek と Goldberg は命令セットの各命令について、以下の3種類の分類を導入した。