A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing.

Nikolai Kosmatov, Matthieu Lemerre, Cline Alec

Browse the full TAP paper archive.