[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] help me please



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