Figure 1 (IMAGE)

Columbia University School of Engineering and Applied Science

Figure 1

Caption

Microverification of cloud hypervisors

Credit

Jason Nieh and Ronghui Gu/Columbia Engineering

Usage Restrictions

Please credit as: Jason Nieh and Ronghui Gu/Columbia Engineering

License

Licensed content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.