A formal model of hardware/software architectures is developed and applied to Virtual Machine Systems. Results are derived on the sufficient conditions that a machine architecture must verify in order to support VM systems. The model deals explicitly with resource mappings (protection) and with I/O devices. Some already published results are retrieved and other ones, more general, are obtained.
硬件/软件体系结构的正式模型已开发并应用于虚拟机系统。在机器架构必须验证才能支持VM系统的充分条件下得出结果。该模型显式处理资源映射（保护）和I / O设备。检索一些已经发布的结果，并获得其他更一般的结果。
机译：ARM体系结构的正式虚拟化要求
机译：顺序非递归C程序的形式架构建模
机译：微内核满足递归虚拟机
机译：在x86架构的递归虚拟化中提高VMExit转发的延迟
机译：使用虚拟机CPU调度中的应用程序对多核体系结构上的进程间共享缓存争用进行建模。
机译：软件定义的车辆云网络：体系结构应用程序和虚拟机迁移
机译：递归虚拟机体系结构的形式化
机译：机器ada Virtuelle：架构（虚拟ada机器：架构）
