virtual machine 4 Ottobre 2009 Requisiti formali per architetture virtualizzabili di terza generazione