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

Re: Referring to PVS and PVS on Linux

Hi Pertti,

Pertti Kellomäki <pk@cs.tut.fi> writes:

> My second question concerns SUSE Linux. Can anyone confirm
> whether PVS runs or not on SUSE? Now that Red Hat Linux
> is being phased away, I am looking at SUSE as a potential
> candidate.

Additionally, Red Hat Linux is not being phased away---commercial
academic licenses for Red Hat Enterprise are available and only $25
USD per year. See

Joe Kiniry
Joseph R. Kiniry                    ID 78860581      ICQ 4344804 
SOS Group, University of Nijmegen  http://www.cs.kun.nl/~kiniry/
KindSoftware, LLC                   http://www.kindsoftware.com/
Board Chair: NICE                    http://www.eiffel-nice.org/