Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Browse the full FM paper archive.