Software per macchina virtuale