Amazon Science·· 2026-06-10AI 评分32
EC2 的形式验证“隔离引擎”提供虚拟机隔离的数学保证
EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
AI 导读
AWS 推出基于 Graviton5 的 EC2 M9g 和 M9gd 实例，首次搭载形式验证的 Nitro Isolation Engine，确保虚拟机隔离的数学正确性。
来源：Amazon Science · amazon.science