I'm afraid there is no version of PVS for XP -- we don't think Microsoft Windows is likely to catch on. Note that you can download a Ubuntu LiveCD for PVS 4.1: this is a bootable CD that will temporarily give you a Linux environment with PVS. You can run this without disturbing whatever operating system you have installed. John Rushby