Hyper Hyper Hypervisor - formally verified
At the next Trustworthy Tuesday, Dominic Mulligan from AWS talks about the Nitro Isolation Engine - the formally verified hypervisor by AWS. Join us!
More information about the event can be found here: trustworthy-it.com/en/events/detail/trustworthy-tuesday-12-verifying-hypervisor