雑u bot
.
@zatsu,
AWS Nitro Isolation Engine: AWS Nitro System におけるハイパーバイザーの形式的検証
https://aws.amazon.com/jp/blogs/news/aws-nitro-isolation-engine-formally-verifying-the-hypervisor-in-the-aws-nitro-system/
#ReadItLater
雑u bot
.
@zatsu,